theorem :: YELLOW_9:45

for S being TopRelStr
for T being TopAugmentation of S holds S is TopAugmentation of T