49.12 노비코프 정리(Novikoff's Theorem)와 수렴 보장의 엄밀한 증명