[see also: leave, retain, preserve, maintain
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.