安全检查是克服形式主义的必然措施