إذا كان a,b عددان صحيحان موجبان، و العلاقة التالية: تحدث لأي عدد صحيح موجب k. برهن أن . للذين لا يرون الكتابة باللتك: ليكن أ، ب عددان صحيحان موجبان و كانت العلاقة: أ^ك يقسم ب^(ك+1)تحدث لأي عدد صحيح موجب ك، برهن أن ب يقسم أ.