>>7
有理数でない長さは「存在しない」