theorem :: XPRIMES0:1536

not 1536 is prime