Точна!!!

Нет ничего проще.
Достаточно пересечь множество байкеров, имеющих двухподвес джамис, и множество людей, по любых причинам оказывающимся на указанной улице. Из этого множества выбросить тех байкеров, которые, имея двухподвес джамис, оставили его дома. Полученное множество отфакторизовать по половому признаку.
Легко видеть, что построение корректно и полученный класс эквивалентных джамис-байкеров-мужиков с железноводской непуст - действительно, в нём содержится как минимум сам аффтар треда. Более того - из утверждения аффтара следует, что таковых по меньшей мере двое.

Т.е., иными словами, ты математически доказал обоснованность моего утверждения?

А что это доказывает?
Анекдот про Ватсона и Холмса на воздушном шаре -- явно про тебя, милый Сантакруизёр.
))

А ты предлагаешь построить байкера циркулем и линейкой? По-моему достаточно сослаться на принцип выбора.

Блин, я им способ поиска рассказал, а они ещё недовольны.

А давайте искать методом Монте-Карло. Откроем казино на Железноводской и он сам туда рано или поздно приедет.

Боюс, мы просадим слишком много денег если он приедет "поздно"....

Когда это казино было в проигрыше? Статистически баланс всегда на стороне казино. Чем позже приедет джамис, тем лучше. А лучше бы вообще не приезжал. Реально бабла срубим.

А, мы откроем казино. Подумал сначала "посетим".

Есть подозрение, что где-то на Железноводской висит большое зеркало.

Хочу купить Джамис. посоветуйте, какой

Аффтар должен знать.

Думаецца мне что это будет сосис...

Мужики с Железноводской выбирают Джамис. Кстати, а где это?