Problem assets/lemma/numbertheory/gcd-two-consecutive-ints.tex

\begin{greenbox}{Największy wspólny dzielnik dwóch kolejnych liczb całkowitych}
\begin{lemma}
    \label{lemma:gcd-two-consecutive-integers}
    Dla każdej liczby całkowitej $a$ zachodzi: $\gcd(a, a+1) = 1$.
\end{lemma}
\end{greenbox}