Source: https://www.math.ucla.edu/~aaronanderson/pdfs/LAMC/SpernerBrouwer/GraphTheory2.pdf