In the proof, it claims that "At least two of these must fall on the same side of P′, the perpendicular projection of P on ℓ.".

However, this is not true as it is possible that P'=B. However it seems the proof still goes through (at least as depicted in the image, haven't thought hard about the general case).