Added proof for D3