Không, mệnh đề đảo của định lý trên không phải là định lý. Mệnh đề đảo của định lý trên là "Nếu a + c < b + c thì a < b". Mệnh đề này là sai vì có những trường hợp a + c < b + c nhưng a không nhỏ hơn b. Ví dụ, nếu a = 0, b = 1 và c = -1 thì a + c = -1 < 0 + 1 = 1, nhưng a không nhỏ hơn b.
Mệnh đề đảo của một định lý chỉ đúng khi mệnh đề này là tương đương với định lý ban đầu. Trong trường hợp này, mệnh đề đảo của định lý trên không tương đương với định lý ban đầu, vì vậy nó không phải là định lý.