"Topological groups and reconstruction of fields in Mochizuki's IUT"