Convex Lens Has Positive Focal Length