PEIRCE'S LAW

The theorem of the propositional calculus stating that ((p→q) →p) →p.