Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Yet, that assumption is not needed for the proof and can simply be removed. I think OP just wanted to say "what follows is the proof for the induction step".


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: