
theorem
  not 94 is prime
  proof
    94 = 2*47;
    then 2 divides 94;
    hence thesis;
  end;
