2015-05-09 ヒント hint って動詞にもなるんですね。 「ヒント(暗示)を与える」「ほのめかす」という意味の自動詞なのだそう。 実際に証明する前に「implicitly show that ...」みたいな文章を書きたかったのでちょうどいいんで使ってみます。