added D3 proof to the proof of the main theorem