Este trabajo es de índole formal. Presenta 3 proposiciones –una sobre el nivel recaudatorio del impuesto sobre la renta en un entorno sin reacción; otra que prueba, en un contexto estático de equilibrio parcial, que dicho impuesto reduce la utilidad individual; y la última constituye una interpretación alternativa al lema de Shephard.This work is of a formal nature. It presents 3 propositions –one on the tax collection level of the income tax in an environment without reaction; another that proves that, even in a static context of partial equilibrium, this kind of taxes reduces individual utility; and the last constitutes an alternative interpretation to Shephard's lemma.Este documento é de natureza formal. Ela apresenta 3 proposições - uma sobre o nível de cobrança do imposto de renda em um ambiente sem reação; uma que prova, em um contexto de equilíbrio parcial estático, que o imposto de renda reduz a utilidade individual; e a última é uma interpretação alternativa do lema de Shephard.