1変数関数：狭義単調関数ならば単射

1変数関数の属性と諸類型に、
狭義単調増加関数ならば単射となることの証明
狭義単調減少関数ならば単射となることの証明
を追加。