theorem Th8: :: ARYTM_3:8

for n, m being natural Ordinal st n divides m & m divides n holds
n = m