theorem :: XPRIMES2:3997

canceled;