Arithmetic Function Proof