Vektor/Linearform/Nulltest/Fakt

Es sei ein -Vektorraum und es sei ein von verschiedener Vektor.

Dann gibt es eine Linearform mit .