בתמונה זו m=9 ולכן כאשר נתונות עשר יונים, על שתיים מהן לחלוק תא אחד.
עקרון שובך היונים, או בשמו השני: "עקרון דיריכלה", הוא עיקרון מתמטי הקובע כי אם יש m תאים בשובך שלתוכם יש להכניס m+1 יונים, קיים בהכרח תא אחד שבו תימצאנה לפחות שתי יונים. לעיקרון טריוויאלי זה יש שימושים רבים בהוכחות בתחום הקומבינטוריקה, וניתן להוכיח באמצעותו תוצאות רבות, מעניינות ולא-טריוויאליות כלל.
