Lemma di Tito

[ghiroz]

Guardando la lezione del preimo 2012 Algebra-lavoro di gruppo esercizio A6, mi sono imbatutto nel lemma di Tito.
Quella utilizzata per risolvere l'esercizio sembra essere una forma semplificata del lemma...qualcuno saprebbe dirmi dove trovare la dimostrazione di questo fatto?
Poi avrei un altro dubbio: una dimostrazione corretta(per il senior) di questo esercizio deve prevedere la dimostrazione del lemma oppure posso darla per scontata?
Grazie

[<enigma>]

Chiamala Cauchy-Schwarz se preferisci.
(Comunque è lemma di Titu, ma lui preferisce chiamarlo lemma T2.)