L9A
      1. Proof: The Inverse Image of a Regular Value Is a Regular Surface
 
L9B
      1. Derivation: Quadric Surfaces
 
L9C
      1. Proposition: A Regular Surface Is Locally the Graph of a Differentiable
          Function