Property: stable range 1

Definition: If $xa+b=1$, there is a $y$ such that $a+yb$ is a unit