Prove that [(a,b),(a,c)]\cdot [a,[b,c]] |a \cdot [b,c]