Description: Obsolete version of sb4b as of 21-Feb-2024. (Contributed by NM, 27-May-1997) Revise df-sb . (Revised by Wolf Lammen, 25-Jul-2023) (New usage is discouraged.) (Proof modification is discouraged.)