now we can prove the absorption laws