Ha i.sz. 999 ápr. 2. és i.sz.1003 május 12 között nem volt pápa, akkor jogos a mentés fogalom?