We denote by $\mathrm{GL}_2(\mathbb{Z})$ the set of invertible elements of the ring $\mathcal{M}_2(\mathbb{Z})$, equipped with its usual addition and multiplication.
Justify that an element $M$ of $\mathcal{M}_2(\mathbb{Z})$ belongs to $\mathrm{GL}_2(\mathbb{Z})$ if and only if $|\det M| = 1$.