theorem Th3: :: FIN_TOPO:3

FT{0} is filled