This particular sequence in the movie (which is actually named Interstella 5555) is one of the most important ones in the plot.

Discovery has been explained many times by DP to be about childhood, not having any specific "theme" besides mixing disco and rock. Hence the name "disco very" and the "pun" in Veridis Quo. (which also happens to be a major sequence in the movie. Although DP never cared to enter the details of that particular composition, most likely memory hole'd by the protagonists.)

So no, this is definitely not the theme of the song. There are several years between the actual songwriting and the release of the movie. Heck, if you actually see the movie, the ending sequence kinda explains that this is "one" of many interpretations of the record...

Taking a look at past interviews, it is more likely that 5555 is about what surrounded the actual release of Discovery (hugely anticipated sequel to a magnum opus that was wildly different from expectations) rather than an idea that was here from the start; see also Human After All for a continuation on this theme.

> the "pun" in Veridis Quo

I can't believe I've only just learned about this

Aw :(