preuve par 9