Since a<ca<ca<c and ad=bcad=bcad=bc, we have a(d−c)<c(d−c)a(d-c)<c(d-c)a(d−c)<c(d−c), hence b−a<d−cb-a<d-cb−a<d−c. Therefore a+d>b+ca+d>b+ca+d>b+c, so 2k>2m2^k>2^m2k>2m and k>mk>mk>m.