Это точно.....надо ещё найти этот один путь..

Нет. Бывает, что у одной теоремы есть несколько длкпзательств

то-то кот ходил, по цепи кругом.