Keep only those vertices whose coordinates sum to 4.
The mapping $f$ keeps the origin fixed.
The proof is mainly included to keep the exposition as self-contained as possible.
Keep in mind that we are now using algebraic notation.
We have to keep track of how the constant $K$ depends on the domain $D$.