>>164
定義はすぐだが
様々な証明は
それなりに大変