Vytvořte složitější verzi této věty Příkladem je typ n-tuplí reálných čísel, který můžeme označit jako \\ mbox (, n).
Samozřejmě, složitější verze věty je "Příkladem je typ n - tuples reálných čísel, které můžeme označit jako \\ mbox (, n), to je závislý typ, protože typ'' závisí'' na hodnotě n:. "