Boolean Prime Ideal Theorem/Proof 3

Proof
We prove that the Boolean Prime Ideal Theorem is equivalent to Stone's Representation Theorem for Boolean Algebras in ZF.