for n being non zero Nat holds CantorNF n = <%n%>