My point is that Wout was ahead for the /entire/ duration where the front wheel intersected the camera line. The wheel's diameter is bigger than 20cm, so the moment when Wout passed the actual finish line is included in this interval. Therefore, Wout was ahead when the winner passed the actual finish line. QED.