y_C \in \mathbb{R} \setminus \mathbb{Q}