練習問題 1.7.1

仕様に合う別の 
increase
の実装を与えよ． 





increase x = 1 + square x


これが仕様を満すことは自明．


    increase x
=   { increase の定義 }
    1 + square x
>   { 自明 }
    square x