Dans un autre roi, Henry le déclara déchu, et les Romains furent obligés de choisir un nouveau pape.
C'est pourquoi le roi Henri déclara que Grégoire n'était plus un pape et que les Romains devraient choisir un nouveau pape -LSB- -RSB-.