theorem :: XPRIMES2:7010

canceled;