The arithmetic identity