theorem :: XPRIMES2:956

canceled;