>>401
その定義たりえる証明と概念的説明を