theorem :: XPRIMES2:1730

canceled;