Given a larger, orchestrated proof, dealing with many of these special cases can be postponed until the most powerful assumptions can be applied.
Για να δοθεί μια μεγαλύτερη και ενορχηστρωμένη απόδειξη, για την αντιμετώπιση πολλών από αυτών των ειδικών περιπτώσεων θα πρέπει να αναβληθεί μέχρι να εφαρμοστούν και οι πιο ισχυρές παραδοχές.