proof for b7 (c)