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