theorem :: XPRIMES0:16

not 16 is prime