Hack for first paragraph of a MathBook theorem.