My question is the effect of something that I have noticed during some of the courses I am taking as a first year maths bachelor, that in tutorials we will be asked to proof that two statements are equal but that when I try to describe the left and right hand side I end up with one and the same sentence, I will give three examples: \begin{equation} (A^m)^{-1} = (A^{-1})^m \end{equation} Both the left and right hand side are described by the sentence "the inverse of matrix A to the power of m" \begin{equation} f^{-1}(A\cap B) = f^{-1}(A) \cap f^{-1}(B) \end{equation} With both A and B being supsets of the real numbers, both the left and right hand side are described by the sentence "the values that when the function f is applied to them end up inside set A and also inside set B", something similar can be done replacing the intersect with a union and the 'and' with an 'or'. \begin{equation} (AB)C = A(BC) \end{equation} This example is discussed in three blue one browns series on linear algebra, both the left and right hand side are described as "first apply transformation C, then transformation B, and finally transformation A"
Of course, the fact that two sides are described the same is not a rigorous proof since it could be that sneaky business is applied in words with double meanings - although often that should be easy enough to spot - but I do think this is a rather interesting patern and I would absolutely love to know if anyone can come up with an example where both the left and right hand side are described the same and still not equal.