theorem Th70: :: ORDINAL7:57

for a being Cantor-component Ordinal holds CantorNF a = <%a%>