五目タンメン. State mid point theorem and prove it. Python return type. Zafira dpf.