\setcounter{prop}{46}
\begin{prop}[Pythagoras]
In right-angled triangles the square on the side subtending
the right angle is equal to the squares on the sides
containing the right angle.
\end{prop}

