Dez pedreiros fazem um muro em 10 horas. Então, 25 pedreiros fazem esse mesmo muro em quantas horas? ​