, Claim (C0) holds for the [pseudobracket]{} $b'$ with ${\Delta}_{b'} := {\Delta}'_b$.  (-00.0,-0) arc (0:000:0); (-00.0,-0) - (-00.0,-0); (-00.0,-0) -(-00,-0); (-00.0,-0) -(-00.0,-0); (-00.0,0) -(-00.00,0); (-00.0,-0) \[fill = black\] circle (.00); (-00.0,-0) \[fill = black\] circle (.00); (-00.0,-0) \[fill = black\] circle (.00); at (-00,-0) [$\Delta_b$]{}; at (-00.0,-0.0) [$f$]{}; at (-00,-0.0) [$