theorem Th16: :: ARYTM_3:16

for a being natural Ordinal holds
( a hcf a = a & a lcm a = a )