Description: Obsolete version of spsbe as of 7-Jul-2023. A specialization theorem. (Contributed by NM, 29-Jun-1993) (Proof shortened by Wolf Lammen, 3-May-2018) (Proof modification is discouraged.) (New usage is discouraged.)