ab = bc = cd = de = ed
Ta có: de = ed
=> d và e bằng nhau.
Lại có: cd = ed
=> c và e bằng nhau
=> c,d,e bằng nhau
=> bc = bd(Vì c =d)
Mà bc = cd = de = ed
Nên bd= cd = de = ed
=> b,c,d,e bằng nhau.
Tiếp tục có: ab = bc = cd = de = ed
Vì b,c,d,e bằng nhau nên ab = acvà ac = bc = cd = de = ed
=> a,b,c,d bằng nhau.
Giả sử: a khác b thì a>b (trường hợp a<b chứng minh tương tự)
Để a^b=b^c thì b<c, tương tự suy ra: c>d, d<e, e>a, a<b, mâu thuẫn với a>b
Do đó, a=b từ đó suy ra a=b=c=d=e