Description: Alternate version of sbft . (Contributed by NM, 30-May-2009) (Revised by Mario Carneiro, 12-Oct-2016) (Proof shortened by Wolf Lammen, 3-May-2018) (Proof modification is discouraged.) (New usage is discouraged.)