tétel Tétel: S,T≤P(V) projektív alterek. Ekkor: dim(S∪T)+dim(⟨S∩T⟩)=dim(S)+dim(T) Biz.: Hasonló bizonyítás az euklideszi dimenzió formulához. Dependencies: Projektív altér