nindmatch_leq_nminmatch の証明の一部を１行に戻しました。

[motikaku]

nindmatch_leq_nminmatch の証明の中で、おそらくもともとは１行であった部分が、３行ほどに分割されていたので、１行に戻しました。
Goal の "=" を "==" に変えるという意図で書かれた部分なので、１行の方がよいと判断しました。