
theorem
  not 388 is prime
  proof
    388 = 2*194;
    then 2 divides 388;
    hence thesis;
