DH 3903
… Por isso, … para glória do Deus onipotente, que à virgem Maria prodigiou sua peculiar benevolência, para honra do seu Filho, Rei imortal dos séculos e vencedor do pecado e da morte, para incremento da glória da sua augusta mãe, e para gáudio e exultação de toda a Igreja, com a autoridade de Nosso Senhor Jesus Cristo, dos bem-aventurados Apóstolos Pedro e Paulo e a Nossa, proclamamos, declaramos e definimos ser dogma divinamente revelado que: a imaculada Deípara, sempre virgem Maria, completado o curso da vida terrestre, foi assumida em corpo e alma na glória celeste.
[770] … Quapropter … ad Omnipotentis Dei gloriam, qui peculiarem benevolentiam suam Mariae Virgini dilargitus est, ad sui Filii honorem, immortalis saeculorum Regis ac peccati mortisque victoris, ad eiusdem augustae Matris augendam gloriam et ad totius Ecclesiae gaudium exsultationemque, auctoritate Domini Nostri Iesu Christi, Beatorum Apostolorum Petri et Pauli ac Nostra pronuntiamus, declaramus et definimus divinitus revelatum dogma esse: Immaculatam Deiparam semper Virginem Mariam, expleto terrestris vitae cursu, fuisse corpore et anima ad caelestem gloriam assumptam.