Chứng minh: Chúng tôi sẽ sử dụng quy nạp toán học. Theo định nghĩa, có một đường đi từ a đến b có độ dài
một khi và chỉ khi (a, b) ∈ R, vì vậy định lý là đúng khi n = 1.
Giả thiết rằng định lý đúng cho các số nguyên dương n. Đây là giả thuyết quy nạp. Có một con đường có chiều dài n + 1 từ a đến b khi và chỉ khi có một yếu tố c ∈ A sao cho
có một con đường có chiều dài một từ a đến c, do đó (a, c) ∈R, và một con đường độ dài n từ c cho b,
đó là, (c, b) ∈Rn. Do đó, bằng cách giả thuyết quy nạp, có một con đường có chiều dài n + 1
từ a đến b khi và chỉ khi có một yếu tố c với (a, c) ∈Rand (c, b) ∈Rn. Nhưng có một yếu tố như vậy nếu và chỉ nếu (a, b) ∈Rn + 1. Do đó, có một con đường có chiều dài n + 1 từ a đến b khi và chỉ khi (a, b) ∈Rn + 1. Điều này hoàn thành bằng chứng.
đang được dịch, vui lòng đợi..