配色パターンの数の限界値は証明されているの?