General ordering theorem