A Proof of Theorem

For the first argument, we use induction. For the second part, we it is essentially a Coupon Collector's problem. The colors represent the target environment. The environment is shown in Figure 6. The results are shown in Figure 5. Forward} to reach the target grid (green).