特に重要なのはワイルスカラーformula_25である。