자연수 (0 제외) 의 요소는 그 배수로 나눌 수 있어야 합니다.
자연수 (0 제외) 의 계수는 배수보다 작아야 합니다. ("보다 작음" 은 "보다 작음" 이 아닙니다. 지수, 수의 배수가 무한하기 때문에)