theorem :: XPRIMES2:1806

canceled;