>>142
仮定義という概念を初めて知りました。
ありがとうございました。