>>69
ありがとうございます
証明の正しさが検証されるまでもう少しですね