모크라벨라 정리 (버전 2.0 — 수정 및 확장) k(2n + k) 항등식을 통한 소수의 새로운 대수적 특성화 | Synapse