theorem :: EULER_1:18

Euler 2 = 1 by Lm4, CARD_1:30;