theorem Th12: :: ARYTM_3:12

for m, n being natural Ordinal holds m lcm n divides m *^ n