The proof is trivial!