
theorem
  not 1916 is prime
  proof
    1916 = 2*958;
    then 2 divides 1916;
    hence thesis;
  end;
