이진수가 아닐까 힘법사는 추측합니다.