theorem :: XPRIMES2:3866

canceled;