Start cleaning up proof that continuous partial derivatives implies differentiability