theorem :: XPRIMES2:3955

canceled;