请问铅笔圈住的式子是从哪里得出的?