theorem :: XPRIMES2:3867

canceled;