theorem :: XPRIMES2:5806

canceled;