[28M] (Replaces 282)
Let \(h≠ 0\), prove that if \(n× h= m× h\) then \(n= m\). (Sugg. use subtraction)
[28S]↺↻
In particular the map \(n\mapsto n× h\) is injective.