The theory of companion matrices is used to give explicit representations for the matrices needed in Roth's removal rule. These are then used to give simple proofs for the cyclic decomposition theorem, as well as for Roth's similarity theorem for matrices over a field.