给定 $N$ 个 01 串，长度最大为 $M$。
称一个 01 串 $S$ 是 “有效的”，当且仅当 $S$ 能够由若干个给定的 01 串拼接而成（同一个 01 串可以重复使用）。
称一个“有效的” 01 串是 “有歧义的”，当且仅当两个 01 串能够由两种不同的拼接方式拼接而成。
求证明 or 证伪：在 $N=4,M\leq6$ 的约束条件下，若存在“有歧义的” 01 串，则必定存在一个“有歧义的” 01 串，可以由不超过 $6$ 个给定的 01 串拼接而成。