\{X = k\} = \{ 1, 2, \ldots, k - 1 \} \times \{ k \} \cup \{ k \} \times \{ 1, 2, \ldots, k - 1 \} \cup \{ (k, k) \}