\textit{Důkaz}.
}{
\newline
-\rightline{$\square$} % nebo \SquareCastShadowBottomRight z balíčku bbding
+\rightline{$\qedsymbol$}
}
%%% Prostředí pro sazbu kódu, případně vstupu/výstupu počítačových
-%%% programů. (Vyžaduje balíček fancyvrb -- fancy verbatim)
+%%% programů. (Vyžaduje balíček fancyvrb -- fancy verbatim.)
\DefineVerbatimEnvironment{code}{Verbatim}{fontsize=\small, frame=single}