96.17 셀 상태 갱신의 가법적 구조와 그래디언트 보존에 대한 수학적 증명