>箱入り無数目で、使う同値類が有限個で、従ってその代表も有限個の場合には
そもそも「使う同値類が有限個で、従ってその代表も有限個の場合には」
素朴に考えると箱入り無数目にはならないのでは？