theorem :: XPRIMES0:391

not 391 is prime