Proving a Relation is an Equivalence Relation | Example 2