ヤマダさんの本では，boson 表示して screening operator によって singular vector をつくる証明を紹介している．screening operator を定義するサイクルの構成については Tsuchiya-Kanie を引用している． Kac-Raina では，可算個の central charge, highe…