let g be LinearOperator of S,T; :: thesis: ( g is isometric implies g is Lipschitzian )
assume A1: g is isometric ; :: thesis: g is Lipschitzian
reconsider K = 1 as Real ;
for x being VECTOR of S holds ||.(g . x).|| <= K * ||.x.|| by A1, LMMAZU;
hence g is Lipschitzian ; :: thesis: verum