proof environment con amsthm

Uso miktex 2.6. Sto trascrivendo delle note di un corso e ho utilizzato un font che ho installato io. Vorrei controllare il font usato in ogni ambiente e in effetti la cosa riesce, tranne che per l’environment proof. Tutto il documento viene scritto col font che desidero tranne il pezzo compreso tra \begin{proof} ed \end{proof}. Il codice ve lo copio/incollo. Vi prego di perdonarmi sugli altri strafalcioni che sicuramente sono presenti in abbondanza dato che è il primo documento che scrivo. Come posso fare per far sì che anche la dimostrazione venga scritta col font che voglio (lo stesso)?

\documentclass[a4paper]{report}
\usepackage{amsmath}
\usepackage{graphicx}
\newcounter{saveenumi}
\usepackage{dsfont}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage[big]{layaureo}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[italian]{babel}
\fontfamily{lby}\selectfont
\usepackage{amsthm}
\newtheoremstyle{st1}{}{}{\fontfamily{lby}\selectfont}{}{\fontfamily{lby}\fontseries{b}\selectfont}{.}{ }{}
\theoremstyle{st1}
\newtheorem{lem}{Lemma}
\theoremstyle{st1}
\newtheorem{df}{Definizione}
\theoremstyle{st1}
\newtheorem{teo}{Teorema}
\theoremstyle{st1}
\newtheorem{cor}{Corollario}
\fontfamily{lby}\selectfont
\begin{document}
\author{privacy}
\title{Analisi Reale}
\fontfamily{lby}\selectfont
\maketitle
\chapter{Misura}
\begin{lem} Se $\mathcal{A}$ è una algebra di parti di X, allora valgono le seguenti proprietà: \begin{enumerate} \item $\emptyset,X\in \mathcal{A}$ ;\item Se $A,B \in \mathcal{A}$ allora $A\bigcap B \in \mathcal{A}$; \item Se $A,B \in \mathcal{A}$, allora $A\setminus B \in A$; \end{enumerate} \item Se $\mathcal{A}$ è $\sigma$-algebra allora $\mathcal{A}$ è chiuso rispetto all’intersezione numerabile, cioè se $\{A_{j}\}_{j\in \mathds{N}}$ è una successione in $\mathcal{A}$, allora $\bigcap_{j\in \mathds{N}} A_{j}\in
\mathcal{A}$.\end{lem} \begin{proof}[][]{\fontfamily{lby}\selectfont}{\fontfamily{lby}\selectfont} (a) Se $A \in \mathcal{A}$, allora $A^{\textit{c}}\in \mathcal{A}$ e quindi $A\bigcup A^{\textit{c}}=X\in \mathcal{A}$ e $X^{\textit{c}}=\emptyset \in \mathcal{A}$\space- (b),(c) e l’ultima affermazione sono banali conseguenze delle proprietà degli insiemi.\end{proof} Si noti che la definizione $\sigma$-algebra non richiede l’additività rispetto all’unione arbitraria. E.g. $\{\emptyset, X\}$,\space $\mathcal{P}(X)$,\space $\{\emptyset, A,A^{\textit{c}},X: A\subset X fissato\}$ sono $\sigma$-algebre di $\mathcal{P}(X)$.
\begin{lem} Sia X un insieme. Se $\mathfrak{F}$ è una famiglia arbitraria di $\sigma$-algebre di $\mathcal{P}(X)$, allora $\bigcap_{\mathcal{A} \in \mathfrak{F}} \mathcal{A}$ è una $\sigma$-algebra di $\mathcal{P}$. La dimostrazione è una banale verifica.\end{lem}

\end{document}