Category:Bounded Linear Transformation to Banach Space has Unique Extension to Closure of Domain