## III.11: The Theorem on Formal Functions