
theorem
  not 808 is prime
  proof
    808 = 2*404;
    then 2 divides 808;
    hence thesis;
