בתורת החבורות, הלמה של ברנסייד (הידועה גם כלמת הספירה או כמשפט קושי⁻פרובניוס) היא תוצאה המתקבלת מפעולה של חבורה על קבוצה. הלמה שימושית ביותר כאשר סופרים אובייקטים מתמטיים בעלי סימטריה. הלמה קרויה על שם המתמטיקאי האנגלי ויליאם ברנסייד, אף כי לא הוא גילה אותה לראשונה. ברנסייד פרסם את הלמה עם הוכחה בשנת 1897, אף כי ידוע כי הלמה הייתה מוכרת לקושי עוד ב⁻1845. למעשה, מקובל להניח כי הלמה הייתה ידועה כל כך, עד כדי כך שברנסייד לא טרח לציין כי קושי הוכיח אותה לפניו. מתוך ויקיפדיה

למרקוס ריד, למרקיזם, למש (יחידה), למת בר הלל, למת בר⁻הלל, למת ג'ונסון⁻לינדנשטראוס, למת הארבעה, למת החמישה, למת המחלקה המונוטונית, למת המקומיות של לובאס