theorem :: XPRIMES2:3904

canceled;