Double Annihilator Theorem for Finite-Dimensional Vector Spaces