theorem :: XPRIMES2:7981

canceled;