Pi_Calculus.Strong_Early_Bisim_Subst_Pres