Theorem

  • With as a vector space
  • With as the Perpendicular Set
  • With a basis as a Basis for
  • Then, Annihilator