Description: Obsolete version of sb8f as of 5-Dec-2024. (Contributed by NM, 16-May-1993) (Revised by Wolf Lammen, 19-Jan-2023) (Proof modification is discouraged.) (New usage is discouraged.)