La preuve par 9