Pensieve header: The linear-compositional property of contraction of quadratics.

Act[f_,g_]:=(g/(1-g f))

Act[f1,g]

lhs=Act[f1,Act[f2,g]]

rhs=Act[f1+f2,g]//Simplify

Simplify[lhs==rhs]