Martins, G. V. Identidades. RLE 2022, 54.