# Strictly positive extensions of linear functionals

There is an interesting exercise in Steven Roman’s book Advanced Linear Algebra: