Βάζω τη λύση μου και στο πρόβλημα 4.
Θα δώσω αρχικά ένα παράδειγμα με

τελεφερίκ σε κάθε εταιρεία όπου δεν υπάρχουν δύο σταθμοί οι οποίοι να συνδέονται και με τις δύο εταιρείες. Ονομάζω τους σταθμούς

με τον

να είναι ο χαμηλότερος και ο

ο ψηλότερος.
Η εταιρεία Α έχει τα τελεφερίκ από τον σταθμό

στον σταθμό

για κάθε

με

. Συνολικά

τελεφερίκ. Μπορεί κάποιος να πάει από ένα σταθμό σε άλλον μέσω των τελεφερίκ της

αν και μόνο αν και οι δύο σταθμοί ανήκουν στο ίδιο από τα πιο κάτω σύνολα:

.
Η εταιρεία B έχει τα τελεφερίκ από τον σταθμό

στον σταθμό

για κάθε

. Συνολικά

τελεφερίκ. Μπορεί κάποιος να πάει από ένα σταθμό σε άλλον μέσω των τελεφερίκ της

αν και μόνο αν και οι δύο σταθμοί αφήνουν το ίδιο υπόλοιπο modulo

.
Βλέπουμε λοιπόν ότι δεν υπάρχουν σταθμοί οι οποίοι να συνδέονται και από τις δύο εταιρείες.
Αναγκαστικά λοιπόν πρέπει

. Θα δείξουμε ότι σε αυτήν την περίπτωση υπάρχουν δύο σταθμοί οι οποίοι να συνδέονται και από τις δύο εταιρείες. Θεωρούμε ένα γράφημα με κορυφές τους σταθμούς όπου συνδέουμε δύο σταθμούς αν και μόνο αν υπάρχει τελεφερίκ της εταιρείας

που σε πηγαίνει από τον ένα στον άλλο. Το γράφημα έχει

ακμές και δεν μπορεί να έχει κύκλο. Είναι λοιπόν δάσος με

συνεκτικές συνιστώσες. Σε κάθε συνιστώσα μπορούμε να ταξιδέψουμε από οποιαδήποτε κορυφή σε οποιαδήποτε άλλη μέσω της εταιρείας

. Από την αρχή του περιστερώνα, σε μία από τις συνιστώσες πρέπει να έχουμε τουλάχιστον

σταθμούς. Έστω οι σταθμοί

.
Όμως με το ίδιο σκεπτικό έχουμε και

συνεκτικές συνιστώσες στο γράφημα της εταιρείας

. Δύο όμως από τους

θα ανήκουν αναγκαστικά στην ίδια συνιστώσα του

. Αυτοί οι δύο σταθμοί συνδέονται και από τις δύο εταιρείες οπότε τελειώσαμε.