伊藤の補題 - Wikipedia
ja.wikipedia.org