difference rule integration