∀ {X Y Z : AlgebraicGeometry.Scheme} {f : X ⟶ Y} {g : Y ⟶ Z} [AlgebraicGeometry.IsIntegralHom g],
  AlgebraicGeometry.IsIntegralHom (CategoryTheory.CategoryStruct.comp f g) ↔ AlgebraicGeometry.IsIntegralHom f