试述刑事诉讼的价值。
强制医疗程序的设立,对于约束公权力、保障被强制医疗人的合法权益、维护社会稳定等方面均具有积极意义。
侦查是继立案阶段之后的一个重要的诉讼阶段，它对刑事诉讼的顺利进行具有非常重要的意义。
简述刑事诉讼中证明责任的分配原则。
简述提起审判监督程序的主体类型。
何某因盗窃罪被判处8年有期徒刑。在某监狱服刑期间，何某认真学习，努力改造，多次受到表扬，且揭发同监狱罪犯李某、沈某、张某谋划越狱的犯罪事实。该监狱根据何某的重大立功表现，作出对其减刑的裁定。
问题:
(1)对何某应否适用减刑?
(2)适用减刑的程序是否正确?正确的减刑程序如何?
