theorem :: XPRIMES0:1715

not 1715 is prime