Discrete Field Has Finite Definition