Description: Obsolete version of spsbe as of 11-Jul-2023. (Contributed by NM, 29-Jun-1993) (Proof shortened by Wolf Lammen, 3-May-2018) Revise df-sb . (Revised by BJ, 22-Dec-2020) (New usage is discouraged.) (Proof modification is discouraged.)