>>733-734
ありがとう
不明だから人名が付いてないのか
人名の付いてない主要な定理って誰が発見したのか気になるんだよね