
theorem
  not 1131 is prime
  proof
    1131 = 3*377;
    then 3 divides 1131;
    hence thesis;
  end;
