theorem_7.3_nice.png