>>909
双対っていうためには、双対定理が成り立たないとだめじゃないか?