Historique | Voir | Annoter | Télécharger (126 octet)
\section{Proof of completeness}\label{appendix:completeness}
The rest of this section is devoted to a proof of this theorem.