John IX, pope from 898 to 900, not only confirmed the judgment of his predecessor Theodore II in granting Christian burial to Formosus, but at a council held at Ravenna decreed that the records of the synod which had condemned him should be burned.

Finding, however, that it was advisable to cement the ties between the empire and the papacy, John gave unhesitating support to Lambert in preference to Arnulf, and also induced the council to determine that henceforth the consecration of the popes should take place only in the presence of the imperial legates. The sudden death of Lambert shattered the hopes which this alliance seemed to promise. John was succeeded by Benedict IV.