Premise: Define the household's demand function for the i-th

Hypothesis: Don't define the household's i-th functions.
Relation: contradiction