theorem :: XPRIMES2:4956

canceled;