Nel dominio dei numeri interi positivi farei così (suppongo M1>=M2)
1. M1=M1-M2
2. M2=M2+M1
3. M1=M2-M1