theorem :: XPRIMES2:730

canceled;