propertyって定理なんですね
求める帰結を得るのに、その帰結を用いることって数学では許されてることなんでしょうか
なんか再帰性みたいな感じで