>>47の補題３まずかった。証明したかったのは
各桁が1か3である2進展開みたいなもんで最高位が１であるものがとれる
といいたかった。まあそのようによんでちょ。