Proving Definition