theorem Th75:
  3 divides a|^(2*n+1) - a
  proof
    2+1 divides a|^(2*n+1) - a by PEPIN:41,Th73;
    hence thesis;
  end;
