t_wの輪郭

カット
『カット除去定理 - Wikipedia』