Định lý ideal nguyên tố Boole