Connection in topologies

Jag fastnade här. Hur visar jag implikationen i den inriktningen? Och hur börjar jag på implikationen åt andra hållet?