程序法

开庭后，法院即可出判决书，邮寄给当事人也是正常程序。就描述情形，程序合法。