@11011110 probably SE not MO I guess as it's an exercise really.
I like your proof better especially as it hadn't occurred to me that such a graph should be a cactus!
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.