>>382
>>350は正確に全部書いたわけじゃないから。
命題としては、
n組の浮気夫婦がいる⇔n日目にn組が離婚
を示している。