
theorem
  not 1463 is prime
  proof
    1463 = 7*209;
    then 7 divides 1463;
    hence thesis;
  end;
