Boolean Prime Ideal Theorem/Proof 2

Proof
We prove that the Boolean Prime Ideal Theorem is equivalent to the Ultrafilter Lemma in ZF.