Proving Arithmetic Definition