är nödvändigt för påfvens andeliga oberoende?