theorem :: XPRIMES1:2730

canceled;