According to the theorem, which statement, about Parallelogram ABCD is true?
bisect = to cut into two equal halves.
so from that theorem Juan used we can derive that once both diagonals bisect each other, the halves of AO = OC and DO = OB.