디리클레 등차수열 정리 - 다른 언어