# Tag Info

3

You are correct in that the coprimality of $a$ and $b$ is not used in its full strength. It is adequate to merely assume that they are not both even. But since people are so used to reducing a rational number to lowest terms, making this assumption improves the readability of the proof. The unnecessary stronger assumption of coprimality is not used, but it ...

Only top voted, non community-wiki answers of a minimum length are eligible