看到知乎一个帖子说这是对乘法结合律的证明，但我觉得不妥。图2标注结论，我认为是这样的：如果A=nB，EF=mA，则EF=m（nB），同理，若C=nD，GH=mC，则GH=m（nD）。因而，若EF=kB，GH=k’D，由结论可知，k=k’。但是，这个结论无法证明k=m*n，因此无法证明m（nB）=m*nB，从而不是无法证明乘法结合律吗？