Proof is trivial! (Hint: )