Suite de la preuve