theorem :: XPRIMES2:3986

canceled;