Splitting int to natural numbers to help proof