acontece que a chave para ter um provador de somas rápido é aplicar a lei distributiva de maneiras cada vez mais inteligentes.
586