前回の続き 前回やり残した証明 マトロイドの双対がマトロイドであることを示したい。前回は(I1), (I2)を示した。 （証明）とする。まずより、あるが存在してを満たす。このときであるためが従う。に対しを拡張したい。及びに対し(I3')を用いれば、あるが存…