
theorem
  not 134 is prime
  proof
    134 = 2*67;
    then 2 divides 134;
    hence thesis;
  end;
