
theorem
  not 966 is prime
  proof
    966 = 2*483;
    then 2 divides 966;
    hence thesis;
