% \input{settings}
\input{definitions}



\begin{document}
%%%%%%%%%%%%%%%%%
% Format for the first line:
%  \handout{Lecture n}{Scribe: scribe name}
% OR
%  \handout{Lecture n}{Scribes: scribe name1, scribe name2}
%%%%%%%%%%%%%%
\handout{Lecture k: theory of B}{Scribes: ABC and DEF}

\section{this}


\begin{theorem}
A
\end{theorem}
\begin{fact}
B
\end{fact}
\begin{proof}
C
\end{proof}


D

\end{document}