Shortest single axioms for the classical equivalential calculus