Proof: Left as an exercise for the reader.
There are a finite number of airlines and I'll just try them all. Right now, I'm trying to avoid taking a charter to LAX or going the long way round via Warsaw.
Also, it's one of those funny situations where it's a grand one-way, but it's a grand return, so there's no relationship to cost here. This means that there ought to be an angle.