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 with
Because 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 (0)

There are currently no matching articles.