theorem Th10: :: ARYTM_3:10

for n, m being natural Ordinal st {} in m & n divides m holds
n c= m