theorem :: ORDINAL7:55

CantorNF {} = {} by ORDINAL5:52;