TaPL演習3.2.4 やればできる。演習3.2.5 i=0でok kまでokなら仮定からS_{k+1} \supset S_k なので作り方からS_{k+1} \subset S_{k+2}っぽい。#ノート