Artículo 80. Deducción por doble imposición internacional.

Artículo 80. Deducción por doble imposición internacional.
1. Cuando entre las rentas del contribuyente figuren rendimientos o ganancias patrimoniales obtenidos y gravados en el extranjero, se deducirá la menor de las cantidades siguientes:
a) El importe efectivo de lo satisfecho en el extranjero por razón de un impuesto de naturaleza idéntica o análoga a este impuesto o al Impuesto sobre la Renta de no Residentes sobre dichos rendimientos o ganancias patrimoniales.
b) El resultado de aplicar el tipo medio efectivo de gravamen a la parte de base liquidable gravada en el extranjero.
2. A estos efectos, el tipo medio efectivo de gravamen será el resultado de multiplicar por 100 el cociente obtenido de dividir la cuota líquida total por la base liquidable. A tal fin, se deberá diferenciar el tipo de gravamen que corresponda a las rentas generales y del ahorro, según proceda. El tipo de gravamen se expresará con dos decimales.
3. Cuando se obtengan rentas en el extranjero a través de un establecimiento permanente se practicará la deducción por doble imposición internacional prevista en este artículo, y en ningún caso resultará de aplicación el procedimiento de eliminación de la doble imposición previsto lo dispuesto en el artículo 22 del texto refundido de la Ley del Impuesto sobre Sociedades.