theorem :: XPRIMES2:1922

canceled;