代数の結果が出たらしいね