Or, what is left to prove is trivial.