Function/x over modulus x +1/Continuous bijection/R and open interval/Exercise