첫 번째 명제에 대한 증명은 특정한 길이의 수열이 얼마나 많은지를 세고 그들을 생성할 수 있는 더 짧은 프로그램과 비교함으로써 가능하다.
The proof of the first comes from counting how many sequences of given length there are, compared to shorter programs that might generate them.