theorem :: XPRIMES2:5982

canceled;