Vytvorte komplexnejšiu verziu tejto vety Príkladom je typ n-tuplov reálnych čísel, ktorý môžeme označiť ako \\ mbox (, n).
Samozrejme, zložitejšia verzia vety je: "Príkladom je typ n - tuplov reálnych čísel, ktoré môžeme označiť ako \\ mbox (, n), je to závislý typ, pretože typ '' závisí '' od hodnoty n:. "