최대값이 k인 부분유한집합은 k비트 정수에 매핑 가능하다. Q.E.D.