{x / x € N si x / 9 }