A well-known result in topology stating that any continuous transformation of an n-dimensional disk must have at least one fixed point.