the code is trivial......but the proof is a little hard......

I thought out the algo early before,but I don't know whether it is right......it puzzles me......now,I have proved it!:)

hint: put the intersects into four cases for thought...