indent using spaces and end of 2. proof