”（《隋书·萧吉传》）上述杨坚的回答中隐含着一个省略式推理，若还原为典型形式是（）