
theorem
  not 161 is prime
  proof
    161 = 7*23;
    then 7 divides 161;
    hence thesis;
  end;
