[teiferer]

> Theorem 1. The third coordinate of the rational number 1/2 is a bijection.

What is a coordinate in the context of a rational number? How many coordinates does it have?