Just nitpicking but there is no categorical evidence that no astronomer on this earth or elsewhere has named any other star "sun" in English or any other language; and also, proper names can serve as generics, c.f. "hoover", "Karen"