theorem Th14: :: ARYTM_3:14

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