After we do the left rotate, we have a legal left-leaning red-black tree, and it exactly corresponds to that 2-3 tree, so the insertion of C gives us exactly what we would want, that correspondence with the 2-3 tree. 