This is a prototypical version of the “Existence of X implies the existence of Y” joke (“The existence of casual sex implies the existence of ranked competitive sex”). It doesn’t land quite as well in that the punchline comes when you figure out what the premise is, but the same reasoning is there.