Da forma de cálculo dos proventos de aposentadoria por invalidez de professor. Inexistência de ‘aposentadoria proporcional’ com redução de tempo