A crucial result on the celebrated Sachdev-Ye-Kitaev model is that its large $N$ limit is dominated by melonic graphs. In this letter we offer a rigorous, diagrammatic proof of that result by direct, combinatorial analysis of its Feynman graphs.