Casper (FFG)관련 질문입니다.

Casper ffg의 두개의 조건중에서 두번째 조건에 대한 증명부분이 이해가 안되는데

저기에 밑줄 그은 부분의 공식은 아래 그림에서만의 적용되는 부분인가요??

만약 h(a_(m+1))<h(b_j) 일때 h(a_m)<h(b_(j-1)) 일 수도 있는거 아닌가요?

왜 무조건 h(b_(j-1))<h(a_m)으로 도출되는지 궁금합니다.

출처 :https://medium.com/decipher-media/scailabilty-series-1-2-casper-code-review-8a84103990d1