Affine Group of One Dimension is Group/Proof 2

Proof
It follows from Affine Group of One Dimension as Semidirect Product and Semidirect Product of Groups is Group.