theorem :: XPRIMES2:1930

canceled;