Description: Obsolete version of 2sb6rf as of 13-Apr-2023. (Contributed by NM, 3-Feb-2005) (Revised by Mario Carneiro, 6-Oct-2016) Remove variable constraints. (Revised by Wolf Lammen, 28-Sep-2018) (New usage is discouraged.) (Proof modification is discouraged.)