Description: Obsolete version of rexdif1en as of 5-Jan-2025. (Contributed by BTernaryTau, 26-Aug-2024) (Proof modification is discouraged.) (New usage is discouraged.)