That's one way to prove it