for a, b being positive Nat st a mod b = b mod a holds
a = b