Prove Arithmetic Geometric Calculator