theorem :: XPRIMES2:5874

canceled;