>>928
証明すべきものの結果を使って証明すべきものを証明できたのだが
この証明方法はは正しい証明ですか?って聞いているのか?