Sedevacantism refuted