theorem :: XPRIMES0:20

not 20 is prime