theorem :: XPRIMES2:4730

canceled;