theorem :: XPRIMES2:1948

canceled;