This video provides a simple example of a direct proof. Assuming "a", "b" in R, and "a" less than "b" less than 0, we show that a^2 greater than b^2. This proof is shown directly by using just the starting assumption, i.e. "a" less than "b" less than 0 and simple algebraic manipulations involving inequalities.

In this problem we show that two sets are equivalent by showing that each set is a subset of the other. The same problem is also worked in the subsequent video using set builder notation and logical operators.

In this problem we show that two sets are equivalent by direct manipulation. Definitions of set union, intersection, and the Distributive law are used to transform one set into the other. The same problem was worked in the previous example, but a different approach was used. In the previous example, the sets were shown to be equal be demonstrating that each set was a subset of the other.