theorem :: XPRIMES2:7730

canceled;