A Theorem on Utilitarianism