O algoritmo de divisão, também conhecido por algoritmo de Euclides, possibilita pensarmos da seguinte maneira: a = b \cdot q + r (se a divisão for exata, não temos o resto). Quando b é divisor de a, podemos expressar esse fato de várias formas. Com base nas definições de divisibilidade e considerando uma divisão exata, analise as sentenças a seguir: I - a é divisível por b. II - b é um divisor de a. III - a não é um múltiplo de b. IV - A divisão de a por b tem resto 0. Assinale a alternativa CORRETA: