November 9 is the feast of the Dedication of the Lateran Basilica in Rome. What is the significance