Easy to prove