for x being Element of Vars st vars x is natural holds
vars x = 0