设X是实赋范空间，E为X的线性子空间，x∈X．证明
ρ(x，E)=sup{f(x)：f∈X*，‖f‖≤1，f(E)=0}