[زولديك]

و أقدم هنا الفكرة التي اعتمدت عليها في البراهين و هي كالآتي طبعا من التعريف نجد أن و بتكرار ما سبق عددا من المرات قدره b نجد ان بحيث كلا من a and b أعداد طبيعية

هنا كحالة خاصة و ذلك عندما a=b نستنتج ان