theorem Th17: :: EULER_1:17

Euler 1 = 1 by Lm3, CARD_1:30;