Description: Alternate version of sbf . (Contributed by NM, 14-May-1993) (Revised by Mario Carneiro, 4-Oct-2016) (Proof modification is discouraged.) (New usage is discouraged.)