for x being Variable holds not x in {0,1,2,3,4}