We shall show that the thesis CpCCp0q is a single axiom for Boolean algebra. That is, we deduce Huntingtonfs first axioms system of Boolean algebra(BA) from that single thesis.