Proof is trivial!