Applying Consensus Theorem Proof