論証

ⅠAⅡB範囲

Σk^mの形