Si "y" ≥ 0, entonces