
theorem
  not 180 is prime
  proof
    180 = 2*90;
    then 2 divides 180;
    hence thesis;
