応用はもう尽くされたから正しいと宣言されたんじゃないか?