
theorem
  not 948 is prime
  proof
    948 = 2*474;
    then 2 divides 948;
    hence thesis;
  end;
