theorem :: UNIFORM3:55

for RS being strict RelStr holds UniformSpaceStr2RelStr (RelStr2UniformSpaceStr RS) = RS