The Shortest Axiom of the Implicational Calculus of Propositions