3.11

证明：对任何 $M, N \in \Lambda$， $M =_{\beta\eta} N \Leftrightarrow \lambda\beta\eta \vdash M=N$

证明

与习题 (3.10) 同理可证。