Para terminar uma obra, 15 operários gastam 30 dias. Quantos dias 9 operários gastaram para terminar essa mesma obra?