When I first heard this problem I did find the solution. There is a way to reason through it, and it doesn't require inspiration, Now having watching this vide

When I first heard this problem I did find the solution. There is a way to reason through it, and it doesn't require inspiration, Now having watching this video all the way through (at 2x speed with sub-titles) I'm disappointed to see that he doesn't explore how to solve this kind of problem, but simply presents the solution without any reasoning about how you can get started. Agreed, he does outline most of the proofs you need, and some of the obvious extensions, but there's no higher-level consideration. But what I'm really disappointed about is how he off-handedly disses some of the other videos about this, with no acknowledgement that they have different audiences, and are aiming at different levels.