theorem :: XPRIMES2:5730

canceled;