Description: Alternate version of spsbe . (Contributed by NM, 29-Jun-1993) (Proof shortened by Wolf Lammen, 3-May-2018) (Proof modification is discouraged.) (New usage is discouraged.)