論文の最後、「J式が必要である」で終わってんだけどこれ完成してんの?
アブストでは証明完みたいなこと書いてあるけど