>>194
ありがとうございます
厳密な証明はできないんでしょうかね