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