Infinite-Dimensional Normed Vector Space has Infinite-Dimensional Normed Dual Space