User blog comment:Ikosarakt1/Something for BEAF/@comment-1605058-20150119114724

Just pointing that out, $$m=n\Rightarrow f(m)=f(n)$$ follows from logical principle known as principle of.