Artículo 80

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 lo dispuesto en el artículo 22 de la Ley del Impuesto sobre Sociedades.