theorem :: XPRIMES2:5956

canceled;