
theorem
  not 1287 is prime
  proof
    1287 = 3*429;
    then 3 divides 1287;
    hence thesis;
  end;
