[prionassembly]

> This is of course a really neat solution, but the proof doesn't really give me much value as a reader.

This is because your number theory-fu is poor.

Don't take this in a bad way, I'm probably even less capable. What I mean is that readability is predicated on a reader. Seasoned number theorists might not be as cool with goroutines or walrii operators or virtual DOMs.