add proof for a single robot

    comment the analysis of rectangles and blocks
remove rule 1.2.7 cuz it's like 1.2.6