indifference curve subgroup of curve, 2 assertions