a,b,c,d가 정수고 b,d가 양수일 때

a/b<c/d인 걸 ad<bc로 정의할 수 있다는데 그렇다면 이 정의로는 전순서임을 어떻게 증명하죠?

생각보다 어렵네요..