
theorem
  not 1161 is prime
  proof
    1161 = 3*387;
    then 3 divides 1161;
    hence thesis;
  end;
