Reindexing a triple sum over `(rx, m, rt)` with `rx + m + rt ≤ K` by the total `d = rx + m + rt`.

Initializing...

Reindexing a triple sum over `(rx, m, rt)` with `rx + m + rt ≤ K` by the total `d = rx + m + rt`. · Prove2Me