Синхронный турнир "Занавес неведения"

2 тур, вопрос 4

Ведущему:
акцентировать внимание на фамилии не стоит, поэтому лучше
подготовьтесь к ее прочтению заранее.
Афинский математик ХрИстос ПапакирьякОпулос доказал важную теорему о вложениях сфер в многообразия. В честь этого достижения, пусть это и было непросто, Джон МИлнор из Принстона сумел вложить... Что и куда?