Basically, the expression in a task looks like this:
Then I use an assumption, to change some part of thesis:
I replaced the red part with a right side of an assumption
Then I substracted parts, which was the same in both sides of the equation, and got this:
But this equation isn't true, it gives a 1 = 0 What should I change? Did I something wrong with thesis?