set?/atomの定理に戻りましょう。 え、そっち？ set?/tとかset?/nilは？ この定理の証明は、ちょっとだけ意外で、ちょっとだけ楽しく、ちょっとだけで終わります。 set?/add-atomsの特殊ケースにすぎないのでちょっとだけで終わりそうな予感はしますが 意外…