> This property mirrors a notion of optimality for shortest description lengths, where it’s known as the Invariance theorem:
with the latter linking to https://en.wikipedia.org/wiki/Kolmogorov_complexity#Invarian...