Integration-by-parts identities in FDR

Four-dimensional renormalized (FDR) integrals play an increasingly important role in perturbative loop calculations. Thanks to them, loop computations can be performed directly in four dimensions and with no ultraviolet (UV) counterterms. In this paper I prove that integration-by-parts (IBP) identities can be used to find relations among multi-loop FDR integrals. Since algorithms based on IBP are widely applied beyond one loop, this result represents a decisive step forward towards the use of FDR in multi-loop calculations.