यहाँ प्रयोग करने पर कि एक बिन्दु के चारों ओर सभी कोणों का योग `360^(@)` होता है |
`implies" "x+y+w+z=360^(@)`
`implies" "(x+y)(z+w)=360^(@)`
`implies" "(x+y)+(x+y)=360^(@)" "(because x+y=z+w)`
`implies" "2(x+y)=360^(@)`
`implies" "x+y=180^(@)`
`implies` AOB एक सरल रेखा है |