huangz1990/SICP-answers — pull request #16 by seckcoder (2013-08-02 16:51:06+00:00)
Title: fix 3.43

个人觉得3.43的问题二与问题三的解答有问题.
对于问题二:
在进行((acc-1 'withdraw) -10)的操作时, 读取的acc-1的balance的值应该是30, 因为该值已经在之前exchange acc-1与acc-3时发生了改变.
此时我们发现其和确实依旧保持不变.
然后, 问题三中, 作者原文似乎是要我们证明其和是保持不变的.
后面我给出了一个简短的证明.