Sejam r₁, r₂ e r₃ números reais tais que r₁−r₂ e r₁+r₂+r₃ são racionais. Das afirmações:

I · Se r₁ é racional ou r₂ é racional, então r₃ é racional;
II · Se r₃ é racional, então r₁ + r₂ é racional;
III · Se r₃ é racional, então r₁ e r₂ são racionais,

é (são) sempre verdadeira(s)