Sei ${\displaystyle {}F\in \operatorname {Id} \,(W)}$, d.h. es ist ${\displaystyle {}F(P)=0}$ für alle ${\displaystyle {}P\in W}$ Dann ist erst recht ${\displaystyle {}F(P)=0}$ für alle ${\displaystyle {}P\in V}$. Also ist auch ${\displaystyle {}F\in \operatorname {Id} \,(V)}$.