
theorem
  not 1655 is prime
  proof
    1655 = 5*331;
    then 5 divides 1655;
    hence thesis;
  end;
