何か天体絡みで偉大な業績を成し遂げて発見した天体にエロタン星と名付けたい