Fuente TeX:

\text{ (Proposición 9.3) }