This should be relatively simple. The proof of this proposition seems to be in many books, but it seems not.

Just find the oldest book on advanced algebra or linear algebra.

It seems good to recommend Peking University, and a textbook of Wuhan University is also good.

Mainly to prove the regularity of rank after product.