theorem :: XPRIMES2:6730

canceled;