theorem Th74:
  2 divides a|^(n+1) - a
  proof
    1+1 divides a|^(n*1+1) - a by INT_2:28,Th73;
    hence thesis;
  end;
