First welfare theorem