Qiaochu_Yuan comments on A fungibility theorem

[Qiaochu_Yuan]

This made the argument clearer to me. Thanks.