Lens Formula Proof Research