Proving Arithmetic Pronunciation