一例としてformula_30のformula_31における分岐截断、およびformula_32のformula_33における分岐截断が明確に確認出来る。