念のため、>>632の補足。
1:a−πとπ a>πは代数的数 → a−πとπ a>πは実数の代数的数
2:(a−π)+π=a で代数的数になる → (a−π)+π=a で実数の代数的数になる