Математика может доказать существование, не найдя объект
Представьте, что вы случайным образом выбираете объект из некоторого множества. Если удаётся доказать, что у него есть хотя бы ничтожный шанс обладать определённым свойством, значит, существует как минимум один объект с этим свойством. При этом вы можете не знать, какой именно. Математики используют этот приём, чтобы доказывать существование, не предъявляя ни одного конкретного примера.