Two Classical Theorems on Commuting Matrices | AMiner