theorem :: XPRIMES1:730

canceled;