theorem :: XPRIMES2:5981

canceled;