t_wの輪郭

factoringとは、導出において重複したものを消す操作のこと