On First-best Taxation