\begin{propriete}Si $P(A)\neq 0$ et $P(B)\neq 0$, alors $P(A\cap B)=P(A)\times P_A(B)=P(B)\times P_B(A)$.\smallskip

Cette formule permet de justifier l'une des règles d'utilisation des arbres pondérés :

la probabilité de l'évènement correspondant à un chemin de l'arbre est le produit des probabilités inscrites sur les branches de ce chemin.
\end{propriete}

