
theorem
  not 552 is prime
  proof
    552 = 2*276;
    then 2 divides 552;
    hence thesis;
  end;
