Утверждение

Доказательство

Отношение $\pi$-эквивалентности является отношением эквивалентности.

Доказательство

$i=\pi^e(i)=e(i)=i\implies i$. $\pi$ эквивалентно $i$.
$j=\pi^k(i)(i)$