theorem :: XPRIMES1:331

331 is prime