パラメータに関する微分可能性までやっても、
証明はほとんどワンパターンの繰り返しだからなあ。
演習でいいと思うが。

むしろ、リプシッツ条件がない場合にもある程度
適用できる一意性の証明のほうが使えたり。