
theorem
  not 55 is prime
  proof
    55 = 5*11;
    then 5 divides 55;
    hence thesis;
  end;
