thues theorem