Ġenera verżjoni aktar kumplessa ta " din is-sentenza Eżempju huwa t-tip ta " n - tuples ta " numri reali, li nistgħu niddikjaraw bħala \\ mbox (, n).
Naturalment, verżjoni aktar kumplessa tas-sentenza hija "Eżempju huwa t-tip ta' n - tuples ta' numri reali, li nistgħu niddikjaraw bħala \\ mbox (, n), dan huwa tip dipendenti għax it-tip'' jiddependi'' fuq il-valur n:. "