theorem :: XPRIMES2:4806

canceled;