theorem :: XPRIMES0:1921

not 1921 is prime