theorem :: XPRIMES0:1566

not 1566 is prime