
theorem
  not 466 is prime
  proof
    466 = 2*233;
    then 2 divides 466;
    hence thesis;
