Compound invariance implies prospect theory for simple prospects