
theorem
  not 1100 is prime
  proof
    1100 = 2*550;
    then 2 divides 1100;
    hence thesis;
  end;
