Affine Group of One Dimension is Group

Theorem
The $1$-dimensional affine group on $\R$ $\operatorname{Af}_1 \left({\R}\right)$ is a group.