BPI guarantees a point in every product of nonempty compact Hausdorff spaces.
Claim:
In set theory without the axiom of choice but assuming the Boolean prime ideal theorem, every product of nonempty compact Hausdorff spaces is nonempty.
NOT BS