Để giải quyết bài toán trên, ta sẽ làm rõ giả thuyết và kết luận của định lý, sau đó sẽ tiến hành chứng minh.

### Giả thiết và kết luận
**Giả thiết**: Cho định lý 1: "Hai đường thẳng \( m \) và \( n \) cắt nhau tại điểm \( O \), nếu một góc tạo thành là góc vuông thì ba góc còn lại cũng là góc vuông."

**Kết luận**: Bốn góc tạo thành bởi hai đường thẳng cắt nhau là bốn góc vuông.

### Chứng minh
1. **Vẽ hình**: Giả sử hai đường thẳng \( m \) và \( n \) cắt nhau tại điểm \( O \). Gọi các góc tạo thành là \( \angle AOB \), \( \angle BOC \), \( \angle COD \), và \( \angle DOA \).

2. **Giả sử**: Giả sử một trong các góc, chẳng hạn \( \angle AOB \), là góc vuông. Vậy \( \angle AOB = 90^\circ \).

3. **Tính các góc còn lại**: Theo định tính góc của các đường thẳng cắt nhau:
- \( \angle BOC = 90^\circ \) (góc đối đỉnh với góc vuông \( \angle AOB \))
- Từ đó, ta có:
- \( \angle COD + \angle BOC = 180^\circ \), với \( \angle BOC = 90^\circ \) dẫn đến \( \angle COD = 90^\circ \).
- Tương tự, \( \angle DOA + \angle AOB = 180^\circ \), với \( \angle AOB = 90^\circ \) dẫn đến \( \angle DOA = 90^\circ \).

4. **Kết luận**: Ta đã chứng minh rằng nếu một góc trong bốn góc tạo thành bởi hai đường thẳng cắt nhau là góc vuông thì tất cả các góc còn lại cũng là góc vuông.

Do đó, định lý đã được chứng minh.