diff --git a/Analysis/Section_3_6.lean b/Analysis/Section_3_6.lean
index d53d28db..b5a171e1 100644
--- a/Analysis/Section_3_6.lean
+++ b/Analysis/Section_3_6.lean
@@ -1,4 +1,5 @@
 import Mathlib.Tactic
+import Analysis.Section_3_3
 import Analysis.Section_3_5
 
 /-!