theorem :: XPRIMES0:1952

not 1952 is prime