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

למת הנחש, למת הניפוח לשפות חופשיות הקשר, למת הניפוח לשפות חופשיות⁻הקשר, למת הניפוח לשפות רגולריות, למת הסנדוויץ', למת הרגולריות של סמרדי, למת לחיצות הידיים, למת פודור, למת רימן⁻לבג, למת שוורץ