$${OO_1 = O_1O_2}$$