GISLib Regional Economic Data - Proofs That Our Procedure Works Correctly