4.10 式子形式