
theorem
  not 414 is prime
  proof
    414 = 2*207;
    then 2 divides 414;
    hence thesis;
  end;
