Within a simple setup, we show that fair redistribution of performance-based allocations implies proportional taxation. Fair redistribution is characterized by three properties: efficiency, i.e., redistribution has no cost. Anonymity, i.e., rewards after redistribution do not depend on the...