Problem assets/lemma/geometry/bok1.tex

\begin{greenbox}{Lemat}
\begin{lemma}
    \label{lemma-bok1}
    Nie istnieje trójkąt różnoboczny o bokach długości całkowitych, który ma bok długości 1.
\end{lemma}
\end{greenbox}