gordon-luecke theorem