///
Dado um número racional positivo x, é sempre possível escrevê-lo da única forma seguinte: x = 2αβ/γ, em que α ∈ ℤ≥0, β ∈ ℤ≥0, γ ∈ ℤ≥0, γ ≥ 1, m.d.c.(2αβ, γ) = 1 e m.d.c.(2, β) = 1. Denotando por ℚ>0 o conjunto de todos os racionais positivos e ℤ≥0 o conjunto de todos os inteiros não negativos, respectivamente, e supondo x ∈ ℚ>0 escrito na forma anteriormente descrita, a esse x associamos o número α ∈ ℤ≥0.
A respeito dessa regra de correspondência, é CORRETO afirmar que: