[eximius]

I think you're right. By definition it can't have any more 1's that the lesser has and it might have less 1's than the lesser has.