
theorem
  not 952 is prime
  proof
    952 = 2*476;
    then 2 divides 952;
    hence thesis;
