何定義してもどうやって証明するかは残るやろ