ett function

Extremal Types Theorem (ETT)