Changes P = NC to NC = P, to put smaller class first.
Fills in hierarchy proof.