Description: Obsolete version of relssdmrn as of 23-Dec-2024. (Contributed by NM, 3-Aug-1994) (Proof modification is discouraged.) (New usage is discouraged.)