結果 : not surjective function example