5集合の場合の人名を挙げたら、挙証責任になるだろう。
素数のバージョンの定理もあるって、サイトに書いてあったからそれで十分。