Gudshteyn teoremasiga koʻra, maʼlum bir algoritm boʻyicha tuzilgan sonlar ketma-ketligi oxir-oqibat nol bilan tugaydi, garchi boshida uning har bir hadi avvalgisidan kattaroq boʻlsa ham. Matematiklar Kirbi va Peris ushbu teoremani BIRINCHI va IKKINCHI oʻrtasidagi mashhur qarama-qarshilikka qiyoslashgan. BIRINCHI va IKKINCHIni ayting.