inversionまで。
コンストラクタの単射性から置換えを試みるタクティック