State/Mutual divisibility of natural numbers implies equality

 =Proof=