کافیه فرض کنیم که
یا
که در آن
و برای حالت دوم نتیجه می دهد:
[center:6a793457fd]
پس خواهیم داشت :
که در حالت کلی نتیجه می دهد :
که در آن
[/center:6a793457fd]پس چون تابع 1-1 هست نتیجه می گیریم که عدد طبیعی t وجود دارد که
که دلیل آن نتیجه گیری را میتوان با توجه کردن به حالت تساوی یافت .
برای حالت
نیز به طریق مشابه عمل کنیم . ولی یک کمی(خیلی کم) دنگ و فنگش بیشتره .