the proof of the theorem is given in the last figure