theorem :: XPRIMES0:1562

not 1562 is prime