INTEGERS
id:integers
大野関係式
大野関係式の証明について。