Background and proof can be found at auhopu.com/blog/the-candy-theorem. This is dedicated to my father. He was a math teacher and an amateur photographer.
The Candy Theorem:
The ratio of the distances at which two different lenses capture the same-sized projection of a single object plane equals the ratio of their focal lengths.