We give an elementary proof of the completeness of the Segerberg axions for Propositional Dynamic Logic. © 1981.