theorem :: XPRIMES0:1945

not 1945 is prime