Consensus theorem Boolean algebra proof