>>367
「b組の浮気夫婦がいた場合、b日目に浮気夫婦b組全員が離婚する」
ことがすべての自然数bについて示されている。
50組浮気夫婦がいれば、その50組が50日目に離婚する。

問題では50組全員が浮気してるが、もっと強く
「N組中、n組の浮気夫婦がいた場合、n日目に浮気夫婦n組が離婚し、N-n組の妻は自分の夫が浮気していないことを確定できる。」
ことも示される。