Visserligen lärer påfven förklarat,