
theorem
  not 262 is prime
  proof
    262 = 2*131;
    then 2 divides 262;
    hence thesis;
  end;
