try an informal proof w/o induction