ᄀ ᄀ + ᄂ ᄂ> ᄀ ᄀ + ᄂ ᄀ ᄂ 만족해야 할 조건은 다음과 같습니다.

ᄀ ᄀ + ᄂ ᄂ> ᄀ ᄀ + ᄂ ᄀ ᄂ 만족해야 할 조건은 다음과 같습니다.

ᄀ + ᄂ> ᄀ ᄀ ᄂ + ᄂ ᄀ
변형
ᄀ(ᄀ ᄀ-ᄀb)>b(ᄀ ᄀ-ᄀb)
a▲0, b▲0으로 인해
a>b▲0이면 상식화 a>b 성립
b> a▲0이면 상식화 a