Sonsuz indirgeme teoremi
Sonsuz indirgeme teoremi, matematikte diophant denklemlerinin çözümünde ve çelişki yoluyla yapılan ispatlarda sık sık kullanılan bir tekniktir. Sonsuz indirgeme teoremi: Pozitif tam sayılarda tanımlı sonsuz uzunlukta sürekli azalan bir dizi yoktur. İspat: a_1=k olsun.