for X, Y being ComplexNormSpace
for g being Lipschitzian LinearOperator of X,Y holds PreNorms g is bounded_above