필요충분조건 - 다른 언어