theorem :: XPRIMES2:8730

canceled;