Boolean Absorption Law Proof