>>979
明示的に言うとお前が定理の形で示してくれということ