Total Revenue Is Maximized When Demand Is