Является ли утверждение о существовании ведьм настолько католически правоверным, что упорное отрицание его должно считаться определенно еретичным?