Aber heißt es nicht dasselbe, zu sagen “zwei Namen haben einen Träger” und “zwei Namen haben ein und dieselbe Bedeutung”? (Morgenstern, Abendstern, Venus.)