公司减资审验程序是什么?