## III.12: The Semicontinuity Theorem