theorem :: XPRIMES2:3927

canceled;