172 F-12-02 重積分