באלגברה מופשטת, משפט אנגל קובע כי אלגברת לי היא נילפוטנטית אם ורק אם ההצגה הצמודה של כל איבר בה היא איבר נילפוטנטי. למשפט מסקנות חשובות בתאוריה של אלגברות לי ומיונן, ובפרט הוא מהווה כלי עזר בהוכחות שונות, כמו בקריטריון קרטן. מתוך ויקיפדיה

משפט אינסוף הקופים, משפט אינסוף מספרים ראשוניים, משפט אלישע חייבטוב, משפט אמריקאי, משפט אמריקני, משפט אסקולי, משפט אקס⁻גרותנדיק, משפט ארבעת הצבעים, משפט ארבעת הריבועים, משפט ארבעת הריבועים של יעקובי