Cho định lí: “Nếu hai đường thẳng xx’ và yy’ cắt nhau tại O và góc xOy vuông (xOy^=90o) thì các góc yOx'^ ,  x'Oy'^ ,  y'Ox^ đều là góc vuông”. a) Hãy vẽ hình thể hiện định lí trên. b) Viết giả thiết và kết luận của định lí.