theorem :: XPRIMES2:3988

canceled;