Does this integral property have a formal name?