【算法】求大神证明此猜想？如不能证明求反例

由偶数个a和偶数个b构成一个字符串。设其中有2*m个a，2*n个b。不论这个字符串怎样排列，总能找到它有一个子串恰有m个a和n个b