>>646
公式に言えば証明してくれそう