De definibilitate Assumptionis B. Virginis Mariae in caelum