theorem :: XPRIMES0:1565

not 1565 is prime