Exprimer une comparaison non signée par une comparaison signée du complément de 2

Question

Laisser n > 0 être un nombre naturel et pour deux rappels a, b modulo 2^n Nous avons ça a < b fic a xor 0x800..00 <(signed) b xor 0x800...00.

Il est également vrai que a <(signed) b fic (0x800...00 & b <= 0x800...00 & a) && (a & 0x7FF...FFF < b & 0x7FF...FFF).

Existe-t-il un moyen de prouver l'équivalence de ces deux propositions?