Demostrar que si\mathfrak{A} \prec \mathfrak{B} y si hay un elementob \in B y una fórmula\phi \left( x \right) tal que\mathfrak{B} \models \phi \left[ s \left[ x | b \right] \right] y ...Demostrar que si\mathfrak{A} \prec \mathfrak{B} y si hay un elementob \in B y una fórmula\phi \left( x \right) tal que\mathfrak{B} \models \phi \left[ s \left[ x | b \right] \right] y para todos los demás\hat{b} \in B,\mathfrak{B} \not\models \phi \left[ s \left[ x | \hat{b} \right] \right], entoncesb \in A. [Sugerencia: Esto es muy similar al Ejemplo 3.4.6.]