The next step is to prove that