theorem
  for V,W be RealNormSpace,
      L be LinearOperator of V,W
    st L is one-to-one onto isometric-like
  holds L is_continuous_on the carrier of V by Th30,LOPBAN_7:6;
