Consumption theorems in terms of overcompensation rather than indifference comparisions