Redirecting to Boolean prime ideal theorem