以下表达式是重言式吗？

((A → B) → A) → A

这被称为皮尔士定律（Peirce's Law），以查尔斯·桑德斯·皮尔士（Charles Sanders Peirce）的名字命名。