По одной из юмористических версий, поначалу не было единого мнения, какое число считать днем рождения некоего святого - 8-е или 9-е. Впоследствии был достигнут компромисс. Назовите этого святого.