W = c = B / W. Hence
Log[B] =
Log[W].
Q.E.D.
Theorem B2: In a pragmatic Madisonian real welfare state with Ricardian equivalence and uniform prices, net income indexation is only feasible for special tax functions.
Proof: To see what happens if B is indexed on Net[W], write n =