
theorem
  not 20 is prime & not 21 is prime & not 22 is prime & not 24 is prime &
  not 25 is prime & not 26 is prime & not 27 is prime & not 28 is prime by Lm4;
