theorem :: XPRIMES0:1928

not 1928 is prime