Theorem 8.1 of Properties of Parallelogram