the proof above uses several non trivial results inyandiko mvunjwafaranga n ubundi hubs and switches have regular ports muri rusange abakobwa bato bakunda ibipupe