theorem :: XPRIMES0:21

not 21 is prime