Prove that the operation * on the set M = { [[a 0][0 b]] : a, b ∈ R – {0} } defined by A*B = AB is a binary operation.