اگر لغوی حساب کنیم، تعریف فوق یک کاربرد قضیه بازگشت روی سیت تا اندازه‌ی تنظیم شده N2 است.