theorem Th16: :: MAZURULM:16

for E, F being RealNormSpace
for f being Function of E,F st f is bijective & f is Affine holds
f /" is Affine