Наблюдаемые в общем собственном базисе

Две наблюдаемые имеют общий полный ортонормированный базис собственных векторов. Используя разложения этих операторов по общим собственным состояниям, проверьте, что $\hat A$ и $\hat B$ коммутируют.