But the question was about deriving the multiplication rule. I said you could derive it from systems of equations directly and gave a proof.

> and how matrices transform them is fine

this is circular. You are introducing/assuming the multiplication rule right here. You can't then derive it