Boole's Theorem