O Código de Trânsito brasileiro adota o sistema de pontuação em carteira de habilitação para os motoristas, sendo distribuídos da seguinte forma: 3 pontos quando se trata de infração leve, 4 pontos por infração média, 5 pontos quando a infração for grave e 7 pontos por infração gravíssima. Considere um motorista que, durante um ano, não cometeu infrações leves, mas cometeu uma infração grave a mais que a média, tendo sido autuado n vezes por infrações gravíssimas e, assim, acumulou 42 pontos em sua carteira. Nessas condições, pode-se afirmar que a quantidade de vezes que este motorista foi autuado por infração gravíssima foi de