theorem EQSET: :: LOPBAN_9:8

for X, Y, Z being RealNormSpace
for z being object holds
( z in BilinearOperators (X,Y,Z) iff z is BilinearOperator of X,Y,Z )