Proving Arithmetic Density