() تعني العامل المشترك الأكبر ، [] تعني المضاعف المشترك الأصغر. المسألة تكافئ: إذا حللنا الاعداد إلى عواملها الأولية فإن العامل المشترك الأكبر يعني أصغر أس لكل عامل أولي ، و المضاعف المشترك الأصغر يعني أكبر أس. بفرض أن تعني أس العامل الأولي رقم للأعداد على الترتيب. نجد أن المسألة تكافئ أيضا: وبدون فقد لعمومية المسالة نفرض أن : . بالتالي : فإن كلا الطرفين متساويين و كل منهما يساوي وهو المطلوب. والله أعلم.