Un est tout, tout est un.
C
i
=
E
K
1
(
P
i
^ (
E
K
2
(
n
)
a
i
)) ^ (
E
K
2
(
n
)
a
i
)
ai)) ^ (EK2(n) ai)
ai)) ^ (EK2(n) ai)