单选题 句子"The research group illustrated the practicability of the theorem using several reasonable examples. In doing so they induced that it could be used to prove whether the equation held. "中的"do so"替代的是前面( )