
theorem
  not 650 is prime
  proof
    650 = 2*325;
    then 2 divides 650;
    hence thesis;
  end;
