Създайте по-сложна версия на това изречение Пример за това е видът на n-тепулите на реалните числа, които можем да обозначим като \\ mbox (, n).
Разбира се, по-сложна версия на изречението е "Пример е типът на n-тепули на реални числа, които можем да обозначим като \\ mbox (, n), това е зависим тип, защото типът '' зависи '' от стойността n:. "