C´est une démonstration par récurrence.
Tu le montres au rang 0 ^^ puis tu supposes la propriété vraie pour un rang n fixé, et tu montres que, alors, la propriété est vraie au rang n+1.
Et pour les différentes égalités, je n´ai utilisé que conj(ab)=conj(a)conj(b)