Если оператор диагонализируем,
Не надо диагонализуемости. Судя по терминологии и обозначениям, это явный намёк на теорему о том, что любой оператор конечного ранга есть сумма соответствующего количества операторов ранга 1. Правда, там есть один нюанс, с которым надо бороться: не любой такой оператор пропорционален одномерному проектору...