Chapter 108: Proving the process with results (11)