Curtis-Hedlund-Lyndon theorem