\begin{propriete}
 Un produit  est nul si et seulement si au moins l'un de ses facteurs est nul.
\end{propriete}
