\documentclass{article}
\usepackage{argoclp}
\setlength{\textheight}{24cm}
\begin{document}
\title{Proof of the theorem Hilbert in natural language}
\author{ArgoCLP \\ Automated Reasoning Group, University of Belgrade}
\maketitle
\newcounter{proofstepnum}
\setcounter{proofstepnum}{0}

\noindent
Theorem Hilbert:

\vspace{5pt}
Assuming that  $A$ = $B$, show that  $A$ = $B$.

\vspace{5pt}
\noindent
{\em Proof:}

\vspace{5pt}

\vspace{5pt}
\noindent
{\em Theorem proved in 0 steps and in 0.077564 s. }
\end{document}
