Affine Group of One Dimension is Group

Theorem
Let $\map {\operatorname {Af}_1} \R$ be the $1$-dimensional affine group on $\R$.

Then $\map {\operatorname {Af}_1} \R$ is a group.