>>129
ん、証明読めないパクチー?

南出論文はCor3.12を前提したもの
Cor3.12の証明はしてない

残念でした パクチーSet A