Finite-Dimensional Bipolar Theorem