Nisan comments on Proof of fungibility theorem

[Nisan]

I’ll do it that way in the future.