>>40
すべてに定義と証明がついているということ