السلام عليكم و رحمة الله.
فيما يلي نص للبرهنة على مبدئين هامين.

principe des bergers

لتكن E و F مجموعتان مع F مجموعة منتهية، و f تطبيق شمولي من E نحو F :

بين أن E مجموعة منتهية و :

Principe des tiroires

لتكن ، p من العناصر المختلفة من المجموعة E الموزعة على عائلة من n جزء من E.
إذا كان بين أنه يوجد على الأقل مجموعة من العائلة تتضمن على الأقل عنصرين من:

 

 

السلام عليكم و رحمة الله.
أريد أن أضيف أن المبدأ الثاني يسمى أيضا ب: مبدأ ديركلي.
و آمل أن يلقى هذا الموضوع اهتمامكم، و أن يتفضل أحد الإخوة ليبرهن لنا على هذين المبدأين.