Дәлелдеуі. – кезкелген йордандық алгебра және болсын. -тің дәрежесін және теңдіктері арқылы анықтайық. Онда келесі тепе-теңдіктің орндалуын дәлелдеу жеткілікті:
(6)
Кезкелген үшін деп алайық. Онда осы арқылы жасалған алгебрасы коммутативті болады, себебі, (1) бойынша және операторлары орын ауыстрымды. үшін () тепе-теңдігінде және деп есептеп, мынаны аламыз: