Выясните является ли формула аксиомой исчисления высказываний

В системе аксиом А3:
(А1): А → (В → А);
(А2): (А → (В → С)) → ((А → В) → (А → С))
(А3): (А → В) → ((А → В) → А)
формула (G → F) → ((G → F) → G) соответствует схеме аксиомы А3, где А и В – любые формулы исчисления высказываний.
Таким образом, формула (G → F) → ((G → F) → G) является аксиомой исчисления высказываний.