[math-fun] Groups with exactly two conjugacy classes