theorem :: XPRIMES0:365

not 365 is prime