theorem :: XPRIMES2:4955

canceled;