لم اقلیدس

لم اقلیدس بیان می‌کند:

اگر عدد اولی مانند p عدد a.b (حاصل ضرب a و b) را عاد کند(a.b بر p بخشپذیر باشد )در این صورت p حداقل یکی از اعداد a یا b را عاد می‌کند، به عبارت دیگر a یا b بر p بخشپذیرند.

لم اقلیدس کاربر دهای زیادی در نظریه اعداد دارد. یکی از این کاربردها را در قضیه اساسی حساب می بینیم.