diff --git a/notes/berechnungen_wk8.md b/notes/berechnungen_wk8.md
index 25ce14b..4d8a13c 100644
--- a/notes/berechnungen_wk8.md
+++ b/notes/berechnungen_wk8.md
@@ -157,6 +157,7 @@ Für jede Teilmenge, A ⊆ V, setze man A^⊥ := {x ∈ V | ∀y∈A: ⟨x, y⟩
 
 **Lemma 1.** Sei V ein endlich dimensionaler Vektorraum mit Skalarpodukt.
 Dann (U^⊥)^⊥ = U für alle Untervektorräume, U ⊆ V.
+(Für unendlich dimensionale Vektorräume brauchen wir den Begriff eines _abgeschlossenen Untervektorraums_.)
 
-**Lemma 2.** Sei V ein endlich dimensionaler Vektorraum mit Skalarpodukt.
+**Lemma 2.** Sei V ein Vektorraum mit Skalarpodukt.
 Dann (U₁ + U₂)^⊥ = U₁^⊥ ∩ U₂^⊥ für alle Untervektorräume, U₁, U₂ ⊆ V.