We need to prove property of diff