$${s = \frac{A_2 B_2}{A_1 B_1} = \frac{A B \cdot A_2 O_1}{f} \cdot \frac{25}{A B \cdot A_1 O_1} = \frac{25}{f} .}$$