Dushnik%E2%80%93Miller theorem