Proof of fungibility theorem

[Nisan]