x^2 \notin \mathbb{Q}