theorem :: XPRIMES1:1730

canceled;