The revised proof eliminates these redundancies by relying on a different subdivision of cases.
Η αναθεωρημένη απόδειξη εξαλείφει αυτές τις περιπτώσεις στηριζόμενη σε μια διαφορετική υποδιαίρεση των περιπτώσεων.