Description: Obsolete version of csb0 as of 28-Jun-2024. (Contributed by NM, 18-Aug-2018) (Proof modification is discouraged.) (New usage is discouraged.)