Statman showed in 1983 that β η {\displaystyle \beta \eta } -equivalence is the maximal equivalence which is typically ambiguous, i.e. closed under type substitutions (Statman's Typical Ambiguity Theorem).
Ο Στάτμαν έδειξε το 1983 ότι η β η {\displaystyle \beta \eta } -ισοδυναμία είναι η μέγιστη ισοδυναμία που είναι τυπικά ασαφής, δηλαδή κλειστή υπό την αντικατάσταση τύπων (Θεώρημα τυπικής ασάφειας του Στάτμαν).