エルデシュ=ギンツブルグの定理
「2m-1個の整数の集合には、和がmで割り切れるようなm個の整数の部分集合が必ず存在する。」

【数セミ】エレガントな解答をもとむ3【2018.10】
https://rio2016.5ch.net/test/read.cgi/math/1537116043/481-491