2000年に入ってから「回転対称なベン図が描けることと、集合の個数が素数であることが同値である」ことが分かったらしい。