>>341
残念ながら
>それは独立でしょう流石にチートは考えないのが前提では
は一種の思い込みなので、数学としては独立であるという仮定が必要かと

勝手な選び方でよいなら無限個の非空集合それぞれからひとつづつ元を選べそうだけど、それは思い込み、数学としては選べるという仮定が必要