Cho định lí: "Nếu hai đường thẳng xx', yy' cắt nhau tại O và góc xOy vuông thì các góc yOx', x'Oy', x'Oy', y'Ox đều là góc vuông". Viết giả thiết và kết luận của định lí