新しい星の発見者は二人まで名前がつけられるんだ
両津とポコチンという人が同時に見つけたら両津ポコチン星になってしまうなんて話があったな