
theorem
  not 722 is prime
  proof
    722 = 2*361;
    then 2 divides 722;
    hence thesis;
  end;
