Question 253336
Which do you want to prove? ab is equal to de or ab is similar to de?