Matematyka.pl

Witam, dlaczego zachodzi poniższa równość?
\(\displaystyle{ P(x) \overline{P(x)}= \left| P(x)\right| ^{2} }\)
Potrafiłby ktoś uzasadniać?
W szczególności miałem podany taki ciąg równości:
\(\displaystyle{ P(i)P(-i)=P(i)P(\overline{i})=P(i) \overline{P(i)}= \left| P(i)\right| ^{2}}\)
gdzie P(x)-wielomian o współczynnikach rzeczywistych, a górna kreska oznacza sprzężenie.

Może dlatego, że dla każdej liczby zespolonej `z\overline{z}=|z|^2`