Decloning is in P - proof.