The assertion holds if the larger green block is on the left.

>>>
>>