任意の自然数は2進法で一意的に表現できる