theorem :: CLASSES5:34

OddNAT is class of FinSETS