Alto_Legato 06 Apr 2023 in Public 2.9-1 Theorem (Dimension of X*). The space and the dual space is having the same dimension. 2.9-1 theorem