Category:Linear Isometry is Injective