Prove generalized pythagorean property in real inner product spaces
Continue reworking the 'continuous partial derivatives in a neighborhood imply differentiability' theorem