could anyone show me a step by step proof of this using the number line format like: 1. hypothesis-->conclusion 2. some assumption 3. some conclusion from previous lines
