Q:

How to prove the Hahn-Banach constructively

I am just wondering, how to prove the Hahn-Banach theorem constructively for a finite dimensional normed vector space.
Thanks in advance for any helpful answers.

A:

Same way as for the infinite dimensional case, except you avoid Zorn's lemma by counting dimensions.

