theory of double integration