Euclidean Division Theorem for Natural Numbers