ツォルンの補題
一般には、拡張 ψ は φ によって一意に定まるものではなく、また、定理の証明を見ても ψ を見つける明示的な方法は分からない。無限次元空間 "V" の場合には、選択公理の一形態であるツォルンの補題が、証明に必要とされる。