added proof for D4