>>35
http://coq.moeblog.jp/content/0000016169.html

>>36
一様にありますが か 一応ありますが

どっちかなぁ… やっぱ後者かな？