https://5dok.net/document/wq245l2y-upper-bound-cardinality-set-equiangular-lines-r-ed.html