Establish what the product of matrix representations is