https://tex.stackexchange.com/questions/383579/restate-theorem-text-within-section-without-theorem-x-part