案例：被告人张三因抢劫罪、盗窃罪、诈骗罪被县法院一审判处15年有期徒刑，检察机关以量刑畸轻为由提起抗诉，市中级人民法院经二审，认为被告人应判处无期徒刑以上刑罚。分析：设若中级人民法院的认定是正确的，则后面的诉讼程序如何进行？