theorem :: XPRIMES2:4975

canceled;