Существование исключения
подтверждает существование
правила

ПОЛИРОМ номер 109