（1）已知，且在相应的局部有。，根据的定义，令，，时有：
根据条件“在相应的局部有”，也就是说可以假设时有，令，则时有：
所以为时的。
（2）已知，且。，根据的定义，令，，时有：
比如的为时的，且，根据本节给出的定理，所以说为时的：
