 For fixed formula_35, the linear equation formula_36 implies formula_37, which is an arbitrary element in formula_38 since formula_39.Since we can take any matrix in formula_40 and multiply it by the matrixformula_41with formula_37, we can get a diagonal matrix in formula_40.This shows the quotient group formula_44.