양자 이론이 복소수여야 하는 이유: Solèr–허용성 경직성 정리 | Synapse