Morse–Hedlund theorem