Yがノルムドリニアー空間Xの線形サブ空間で、YがXでデンスでないとき、
0でないファンクショナルfで、Yのすべてのsでf(s)=0となるものがある。

だれかエロイ人証明してください。。。