
theorem
  not 6 is prime & not 8 is prime & not 9 is prime & not 10 is prime &
  not 12 is prime & not 14 is prime & not 15 is prime & not 16 is prime &
  not 18 is prime by Lm4;
