변형된 산술 세타 링크, 비국소 로그 근, 그리고 ABC 추측의 무조건적 증명 | Synapse