theorem :: XPRIMES2:5048

canceled;