为什么在合适的分块下把子块当作元素相乘得到的“恰好”就是两个矩阵的乘积？我知道按照矩阵乘法的定义暴力验证对应元素相等是可以证明分块矩阵乘法法则，但是感觉这样不但麻烦而且没有揭示任何东西。分块矩阵这么良好的一个性质应该是由某些更自然更深刻的性质（比如子空间的某些性质？）决定的而不仅仅是某种计算下的巧合吧？还是说想太多？