Proof four chords are enough