1 files changed, 10 insertions, 7 deletions
diff --git a/pages/functional-analysis-basics/banach-alaoglu-theorem.md b/pages/functional-analysis-basics/banach-alaoglu-theorem.md
index 59e4a92..91906cd 100644
--- a/pages/functional-analysis-basics/banach-alaoglu-theorem.md
+++ b/pages/functional-analysis-basics/banach-alaoglu-theorem.md
@@ -2,18 +2,21 @@
 title: Banach–Alaoglu Theorem
 parent: Functional Analysis Basics
 nav_order: 3
-# cspell:words
 ---
 
 # {{ page.title }}
 
-{: .theorem-title }
-> {{ page.title }}
-> {: #{{ page.title | slugify }} }
->
-> The closed unit ball in the dual of a normed space is weak\* compact.
+{% theorem * Banach–Alaoglu Theorem %}
+The closed unit ball in the dual of a normed space is weak\* compact.
+{% endtheorem %}
 
 {% proof %}
 {% endproof %}
 
-## Generalization: Alaoglu–Bourbaki
+The {{ page.title }} is a special case of the following result:
+
+{% theorem * Alaoglu–Bourbaki Theorem %}
+The polar of a neighborhood of zero in a locally convex space is weak\* compact.
+{% endtheorem %}
+
+See [Alaoglu–Bourbaki Theorem]({% link pages/more-functional-analysis/locally-convex-spaces/alaoglu-bourbaki-theorem.md %}) for more information.