∀ {A : Type u_1} {B : Type u_2} {C : Type u_3} [inst : CommRing A] [inst_1 : CommRing B] [inst_2 : CommRing C]
  (f : A →+* B) {g : B →+* C}, (g.comp f).FinitePresentation → f.FiniteType → g.FinitePresentation