では、「順序数から順序数への連続な狭義単調増加関数には、少なくとも1つの(実際には多数の)不動点が存在する」ことを述べている。