Description: Obsolete version of abssdv as of 12-Dec-2024. (Contributed by NM, 20-Jan-2006) (Proof modification is discouraged.) (New usage is discouraged.)