A standard notation: By we mean the set of all matrices with entries from some set

Problem: Let Suppose that Prove that

Remark: The above result remains true if we replace with any field of characteristic 0. It is not necessarily true if A counter-example is: