Sabe-se que, para finalizar certa obra em 90 dias, são necessários 8 pedreiros. Supondo-se que essa mesma obra seja realizada por 10 pedreiros, ao todo, quantos dias serão necessários para finalizá-la?