Category:Image of Bounded Linear Transformation is Everywhere Dense iff Dual Operator is Injective