Supposons que nous devions prouver que la proposition est vraie.