برهان: حکم را به روشی که منسوب به اقلیدس است اثبات می‌کنیم: فرض کنید تعداد اعداد اول متناهی و تعداد آنها n تا باشد. حال عدد M را که برابر حاصل‌ضرب این اعداد به علاوه ۱ را در نظر بگیرید. این عدد مقسوم‌علیهی غیر از آن n عدد دارد که با فرض در تناقض است.

قضیه ۲ (قضیه اساسی حساب): هر عدد طبیعی بزرگ‌تر از ۱ را به شکل حاصل‌ضرب اعدادی اول نوشت.قضیه

۳ (قضیه چپیشف):اگر n عددی طبیعی و بزرگ‌تر از ۳ باشد، حتما" بین n و ۲n

عدد اولی وجود دارد. قضيه ۴ هر عدد زوج را می‌توان بصورت جمع سه عدد اول

نوشت.قضيه ۵ هر عدد فرد (شامل اعداد اول) را می‌توان به صورت جمع سه عدد اول نوشت (اثبات بر پايه قضيه ۴)قضيه 6-هر عدد فرد را می‌توان به صورت دو برابر يك عدد اول بعلاوه يك عدد اول ديگر نوشت.

خواص اعداد اول:

1- هر عدد اول برابر است با 6n+1 يا 6n-1 كه n يك عدد صحيح است.

2-مجذور هر عدد اول برابر است با 24n+1.

3-تفاضل مجذورهاي دو عدد اول مضربي از 24 است.

4-حاصلضرب هر دو عدد اول بجز 2و3 مضربي از 6 بعلاوه يا منهاي يك است.

توان چهارم هر عدد اول بجز 2و3 مضربي از 240 بعلاوه يك است

.

بزرگ‌ترین عدد اول کشف شده برابر دو به توان ‪ ۳۰‬ميليون و ‪ ۴۰۲‬هزار و ‪ ۴۵۷‬منهاي يك است.این عدد یک عدد مرسن است. عدد مرسن عددی است که برابر 2 به توان n منهای یک است.

لازم به ذكر است كه تعداد 3000 عدد اول در سايت مگاسندر www.megasender.org وجود دارد و افرادي كه مايل به دريافت بيشتر اين اعداد هستند مي توانند با سايت مذكور تماس گرفته و تعداد بيشتري از آنها را بر روي لوح فشرده دريافت نمايند و طراحان اين سايت خودشان اين اعداد را محاسبه نموده اند .