theorem :: XPRIMES0:715

not 715 is prime