proof for wbc = wb