結果 : proving parallel lines examples