
theorem
  not 1650 is prime
  proof
    1650 = 2*825;
    then 2 divides 1650;
    hence thesis;
  end;
