на поиски выхода тратится столько же времени и ресурсов, сколько и на доказательство, что выхода нет