add solutions for first subcase proof (figure out how to rewrite with that theorem) and induction! excited for the rest of the chapter