theorem :: XPRIMES2:3989

canceled;