ワイルの特性公式:内容と導出過程