Z解析

連作シリーズ No.3 として 2つのq をやるつもりではいるけれど，
他にも「こちらを先に」と思えるようなものがあるなぁ。
とりあえず，いまは No.2 を執筆中。
イントロダクションは書き終えたので，ここからはたんたんと
できてる定理の証明を書いていけばいいだけだから気が楽と言えば気が楽。