theorem :: XPRIMES0:427

not 427 is prime