Convex Mirror Focal Length Equation