theorem Th12: :: UNIFORM2:19

for SUS being Semi-UniformSpace st SUS is empty holds
{} in the entourages of SUS