Finished notes for proof of induction and dp