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