theorem :: XPRIMES2:6832

canceled;