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