两个都对,前者是名词性的,表示将方程1代入方程2这种行为,后者是句子型的,陈述某一动作。
没有必要加主语
针对你的补充,可以用substituting equation 1 into equation 2 作为条件状语