Верно. Но это не значит, что какое именно нужно уточнять у бабушки.Сейчас многие дают два имени, если выбранное отсутствует в святцах. Но в быту используется которое указано в метрике. шепотом: имя Петя, Петр для меня страшный сон. Личные тараканы. Но если мои дети своего ребенка так назовут - так тому и быть. Это их выбор.