After we are done with the assumptions, we can expand all terms and simplify, we can now show that each side is equal to each other and we are finally done.