theorem_7.4_nice.png