>>793
の結果を使って以下を証明せよ。

rank(A*B) ≦ min( rank(A), rank(B) )