Earlier quoted context omitted.
I guess it should really be proving the general proposition that dropped keys are discoverable.
Great, it's been proven. Should we go pick up our keys now or just move onto another math problem?
on edit: can I stay at your house for a bit while waiting for publication?