Är följande uttryck en tautologi?

((A → B) → A) → A

Detta är känt som Peirce's lag, uppkallad efter Charles Sanders Peirce.