Никаких изменений. wrapfigure не работает ни внутри теорем (и и т.д.), ни в доказательствах
Так я и не настаивал на wrapfigure. Просто плавающие объекты (в том числе рисунки) могут быть разных видов. Я и подумал, что быть может...
Я обычно играюсь с minipage.
Глядя
на это подобная идея не совсем привлекает: количество строк нужно подбирать вручную.