A_i の各要素は別の集合にも属する。固定した別の集合は A_i の要素を高々1つしか含まず、別の集合は 2n 個ある。A_i の要素数も 2n なので、各別集合はちょうど1つずつ含む。したがって各要素はちょうど2集合に属する。