finally, proved the theorems about relations in chapter 5