公務員の給料はランダムで選ばれた国民千人が提示した平均値で決定すれば良い