theorem :: CLASSES5:33

EvenNAT is class of FinSETS