for S, T being RealLinearSpace
for I being LinearOperator of S,T st I is bijective holds
ex J being LinearOperator of T,S st
( J = I " & J is bijective )