It merely states that whatever the ID is it must be more complex than that which it designs.
I don't see that this holds. We have examples of design by very unintelligent things. Maybe (I'm not sure) they are less complex than the design output.
Either the ID is more complex and you assertion holds or the ID is at least somewhat less complex than us.