ここでのケーニヒの定理は選択公理と同値である。