What we just showed you, or hopefully I showed you, that the the focal length or this distance, f, the focal length is just equal to the square root of the difference between these two numbers, right?