
theorem
  not 760 is prime
  proof
    760 = 2*380;
    then 2 divides 760;
    hence thesis;
