ליצור גרסה מורכבת יותר של המשפט הזה דוגמא היא סוג של n-טופלים של מספרים אמיתיים, אשר אנו יכולים לציין כ \\ mbox (, n).
כמובן, גרסה מורכבת יותר של המשפט היא "דוגמה היא סוג של n - טופלים של מספרים אמיתיים, אשר אנו עשויים להצביע כ \\ mbox (, n), זה סוג תלוי כי הסוג'' תלוי'' על הערך n:. "