
theorem
  not 122 is prime
  proof
    122 = 2*61;
    then 2 divides 122;
    hence thesis;
  end;
