https://123dok.org/document/z3djk57e-smooth-projective-variety-field-complex-numbers-denote-dimension.html