tétel

Tétel: projektív alterek.
Ekkor:

Biz.: Hasonló bizonyítás az euklideszi dimenzió formulához.

Dependencies: