
theorem
  not 762 is prime
  proof
    762 = 2*381;
    then 2 divides 762;
    hence thesis;
  end;
