Let be the primitive generator of the new ray , and let be its adjacent primitive rays in the smooth subdivided fan. Smoothness gives a unique integer withBecause is new, it lies in the interior of an original two-dimensional cone. Its adjacent refined rays lie on opposite sides of it inside that cone, which forces . Therefore .
Articles by others on the same topic
There are currently no matching articles.