The Redistributive Function of Income Tax: Theory and Reality ‐ Mercari: Shop from Japan