The proof can find that the hypothesis follows from the proof assumptions (i.e., that the hypothesis is true)
Ik ben heel benieuwd naar jouw mening, laat het me weten in de comments! •••••••••••••••••••••••••••••••••••••••••••••