この定理の証明みたことないけど難しいの？
選択公理と集合論しってれば理解できるらしいけど。