Proving buffer overflow for single character
Splitting int to natural numbers to help proof
Simplification
Modified lemma to be more generic