An alternative proof works by double counting.
Μια εναλλακτική απόδειξη λειτουργεί με διπλή μέτρηση.