프로트의 정리 - 다른 언어