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 langua

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"