I want to prove that
Which of course is not true.
I don't know how to do this kind of proofs.
I mean, when trying to prove
should I try to work on the left side of the implication until A is equal to B? Am I allowed to take on what I have on the left side and make a substitution of that on the right side?
i.e., is this allowed?: