theorem :: XPRIMES0:1920

not 1920 is prime