くり込み定理
【くりこみていり】
【kurikomiteiri】
对合定理