已忽略

Lema.