If x contains k + 1 O's and x = Oy1, then x contains the substring 01. If y starts with 0, then x ends with 01. If y ends with 1, then Oy begins with 0 and ends with 1. By the induction hypothesis, y1 contains 01, and so x does also.
If x contains k + 1 O's and x = Oy1, then x contains the substring 01. If y starts with 0, then x ends with 01. If y ends with 1, then Oy begins with 0 and ends with 1. By the induction hypothesis, y1 contains 01, and so x does also.
If x contains k + 1 O's and x = Oy1, then x contains the substring 01. If y starts with 0, then x ends with 01. If y ends with 1, then Oy begins with 0 and ends with 1. By the induction hypothesis, y1 contains 01, and so x does also.