theorem
  Euler 2 = 1 by Lm4,CARD_1:30;
