The revised proof eliminates these redundancies by relying on a different subdivision of cases.
A revisión da proba elimina as redundancias existentes na subdivisión dos casos.