令 ESE_SES 为颜色集合恰为 SSS 的小丑集合。各 ESE_SES 将 nnn 个小丑分割。非空的 ESE_SES 都有 ∣S∣≥5|S|\ge5∣S∣≥5,故 ∑i=112∣Ei∣=∑S∣ES∣ ∣S∣≥5∑S∣ES∣=5n\sum_{i=1}^{12}|E_i|=\sum_S|E_S|\,|S|\ge5\sum_S|E_S|=5n∑i=112∣Ei∣=∑S∣ES∣∣S∣≥5∑S∣ES∣=5n。