P
Initializing...
Gale's theorem of the alternative for Bπ ≤ c · Prove2Me