Let $A_0A_1A_2A_3A_4A_5A_6$ be a regular 7-gon. Prove that $$\frac{1}{A_0A_1} = \frac{1}{A_0A_2}+\frac{1}{A_0A_3}$$