Description: Obsolete version of sdom1 as of 12-Dec-2024. (Contributed by Stefan O'Rear, 28-Oct-2014) (Proof modification is discouraged.) (New usage is discouraged.)