
theorem
  not 1963 is prime
  proof
    1963 = 13*151;
    then 13 divides 1963;
    hence thesis;
  end;
