正規行列はユニタリ行列で対角化可能、可換な正規行列は同時対角化可能、よって可換正規行列の積は対角化可能。従って正規。