The above is equivalent (after cancelling identical terms from both sides).